头文件中模板类实现的模板成员

时间:2019-03-28 11:14:59

标签: c++ class templates header-files generic-programming

我有一个看起来像这样的课

template<class T>
class Matrix {
    ...
    template<class T2> auto dot(Matrix<T2> const& other);
}

这是我的实现,位于头文件中的声明下:

template<class T, class T2>
auto Matrix<T>::dot(Matrix<T2> const& other) {
    [impl]
}

我得到的错误是这样的:

(C2244) 'Matrix<T>::dot' : unable to match function definition to an existing declaration

我要去哪里错了?

2 个答案:

答案 0 :(得分:3)

语法错误。在具有模板参数T2的类模板中,您具有带有模板参数T的功能模板。必须这样定义:

template<class T>
template<class T2> 
auto Matrix<T>::dot(Matrix<T2> const& other) {

}

答案 1 :(得分:0)

这不是答案,而是重复这个(类似)问题-首先定义/声明该类,然后编译器就可以了:

 template<typename UnsignedInt,
        std::enable_if_t<std::is_unsigned<UnsignedInt>::value, int> = 0>
class binangle {
    ...
    template<typename F>
    void set_from_degrees(F rad);
    ...

但是,在对实现进行历史记录时

template<typename F>
void binangle<UnsignedInt>::set_from_radians(F rad) {
    static_assert(std::is_unsigned<UnsignedInt>::value);
    static_assert(std::is_floating_point<F>::value);
    ...

它引发错误:

/home/sipan/src/vgit/signals/tests/../include/binangles_impl.hpp:23:51: error: invalid use of incomplete type ‘class signals::binangle<UnsignedInt>’
   23 | void binangle<UnsignedInt>::set_from_radians(F rad) {
      |                                                   ^

这与教科书示例尽可能的接近

//template member definition
template<typename T>
template<typename T2>
void A<T>::f(T2)
{
    // some code
}

但失败。