模板类方法的部分专门化或实例化

Question

我有几个模板参数的模板结构

template<class Result, class T, class K>
struct MyClass
{
public:
    Result foo()
    {
        return Result{};
    }
};

此结构适用于所有模板，但结果无效的情况除外。我知道，Result{}不能实现为void类型，所以我当前的解决方案是使用如下的部分专门化：

template<class T, class K>
struct MyClass<void, T, K>
{
public:
    void foo()
    {
        return;
    }
};

这允许执行以下操作：

int main()
{
    MyClass<void, double, char> mycl1;
    MyClass<int, double, char> mycl2;

    mycl1.foo();
    mycl2.foo();
}

有没有一种方法可以使mycl1.foo（）编译而不会在C 14标准中进行部分类特化？我可以使用，如果配置器和类型traitis_void_v组合，但我想找到是否有一种方法：

>

模板类方法的特殊化部分显式

模板类方法的实例化

Answer 1

虽然你做不到

Result foo()
{
    return Result{};
}

如果结果为无效，则可以使用

Result foo()
{
    return Result();
}

这种情况下的行为是相同的，您将获得一个值初始化的对象返回。当Result是valby[expr.type.conv]\2时，允许使用此语法

如果初始值设定项是一个带括号的单表达式，则类型转换表达式与相应的强制转换表达式等价（定义为，如果定义为含义）。如果类型为cv void，初始值设定项为（），则表达式是指定类型的prvalue，不执行初始化。否则，表达式是指定类型的prvalue，其结果对象由初始值设定项直接初始化。对于形式为T（）的表达式，T不应是数组类型。

即将到来，尽管你将能够使用

return Result{};

即使Result是void，当c20添加到该部分时，{}也适用于void。[expr.type.conv]\2现在声明

如果初始值设定项是带括号的单个表达式，则类型转换表达式等效于相应的强制转换表达式。否则，如果类型为cv void且初始值设定项为（）或{}（包扩展后，如果有），则表达式是指定类型的prvalue，不执行初始化。否则，表达式是指定类型的prvalue，其结果对象由初始值设定项直接初始化。如果初始值设定项是带括号的可选表达式列表，则指定的类型不应是数组类型。