Question

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

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

我要去哪里错了？

Answer 1

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

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

}

Answer 2

这不是答案，而是重复这个（类似）问题-首先定义/声明该类，然后编译器就可以了：

 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
}

但失败。

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

2 个答案: