如何在子类(c++)中专门化模板方法？

Question

我试图在其子类中专门化非模板类的模板方法：

// .h 文件

class MyWriter {
public:
    template<typename T>
    void test(const T & val) {
        std::cout << val << "\n";
    }
};

// .cpp 文件

class MyType {
public:
    MyType(int aa, double dd) : a(aa), d(dd) {}
    int a;
    double d;
};

class MyWriterExt : public MyWriter {
public:
    template<> void test(const MyType &val) {
        test(val.a);
        test(val.d);
    }
};

int main() {
    MyWriterExt w;
    w.test(10);
    w.test(9.999);
    w.test(MyType(15, 0.25));
 return 0;
}

但我收到错误：

Error 1 **error C2912**: explicit specialization; 
'void MyWriterExt::test(const MyType &)' is not a specialization of a function 
    template \testtemplate.cpp 30

如何扩展 MyWriter 类以支持用户定义的类？

Answer 1

应该对同一个类而不是子类以及类主体之外进行专门化：

class MyWriter {
public:
    template<typename T>
    void test(const T & val) {
        std::cout << val << "\n";
    }
};

template<>
void MyWriter::test<MyType>(const MyType & val) {
    test(val.a);
    test(val.d);
}

您不需要子类来专门化原始成员函数模板。

另请考虑 重载而不是专门化。

Answer 2

如何纠正你的编译错误？

Error 1 **error C2912**: explicit specialization; 
 'void MyWriterExt::test(const MyType &)' is not a specialization of
     a function template \testtemplate.cpp 30

如果您希望在派生类中“专门化”模板化函数，解决方案是（在派生类中）：

• 使用 MyType 参数的普通函数重载模板化函数
• 将模板化函数“导入”到当前类中（所以它不会被重载隐藏）

这给出了：

class MyWriterExt : public MyWriter {
public:
/*
    template<> void test(const MyType &val) {
        test(val.a);
        test(val.d);
    }
*/
    using MyWriter::test ;
    void test(const MyType &val) {
        test(val.a);
        test(val.d);
    }

};

如何正确编码你想做的事情？

如何扩展 MyWriter 类以支持用户定义的类？

现在，如果您使用 MyWriter 作为可扩展的输出流，我不确定继承是否是解决方案。正如 vitaut 的回答已经回答的那样；您应该将模板化函数专门用于基本对象（以及外部）。

如何更准确地编写您想要做的事情？

如何扩展 MyWriter 类以支持用户定义的类？

更好的解决方案是遵循 C++ 流的约定，即使用非友元、非成员函数。在你的情况下，它会是这样的：

class MyWriter {
public:
};

template<typename T>
MyWriter & operator << (MyWriter & writer, const T & val) {
    std::cout << val << "\n";
    return writer ;
}

然后任何人都可以“专门化”你的输出函数而不需要继承：

MyWriter & operator << (MyWriter & writer, const MyType & val) {
    writer << val.a << val.d ;
    return writer ;
}

这可以在你的 main 中写成：

int main() {
    MyWriter w;
    w << 10 << 9.999 << MyType(15, 0.25);
 return 0;
}

恕我直言，这比函数调用的累积更清晰（只要你不进行格式化，C++ 输出流非常易于使用）。

（当然，我假设 MyWriter 不仅仅会执行到 std::cout 的简单重定向。如果没有，MyWriter 就没用了...）