c ++模板运算符找不到匹配项

Question

好的，关于 c++ 模板的新问题...

我正在为 2d/3d/4d 向量（如几何向量，而不是数组）编写模板类。 一切都很好，在 SO 中提出了一堆问题之后，但由于某种原因，现在找不到运算符。 如果我在类中声明它们，没关系，但如果我在外部将它们声明为模板，则找不到它们。 有趣的是，如果我专门用正确的变量类型声明它们，那么一切都会好起来的。所以基本上看起来好像该函数模板从未实例化。

所以，错误是：

error: no match for ‘operator-’ (operand types are ‘Math::TVector<int, 3ul>’ and ‘Math::TVector<int, 3ul>’)

即使有它的功能：

template <typename Type, unsigned TemplateElementCount>
Math::TVector <Type,TemplateElementCount> operator - ( Math::TVector <Type,TemplateElementCount> &First, Math::TVector <Type,TemplateElementCount> &Second )
{
Math::TVector <Type,TemplateElementCount> Result;
for ( unsigned cont = 0; cont < TemplateElementCount; ++cont )
    Result.Data[cont] = First.Data[cont] - Second.Data[cont];
return Result;
}

代码示例可在http://goo.gl/qrZaU1 获得 我尝试在名称空间内、在其外、在其外以全分辨率（包括 Math:: Everywhere ）声明它，但没有任何效果.. 谁能帮我一把？ 谢谢

编辑： 完全编译错误是

main.cpp: In function 'int main(int, char**)':                                                                                  
main.cpp:16:23: error: no match for 'operator-' (operand types are 'Math::TVector<int, 3ul>' and 'Math::TVector<int, 3ul>')     
 Vector1 = Vector1 - Vector2;                                                                                               
                   ^                                                                                                        
main.cpp:16:23: note: candidate is:                                                                                             
In file included from main.cpp:2:0:                                                                                             
Point.h:171:43: note: template<class Type, unsigned int TemplateElementCount> Math::TVector<Type, TemplateElementCount> operator
-(Math::TVector<Type, TemplateElementCount>&, Math::TVector<Type, TemplateElementCount>&)                                       
 Math::TVector <Type,TemplateElementCount> operator - ( Math::TVector <Type,TemplateElementCount> &First, Math::TVector <Type,Te
mplateElementCount> &Second )                                                                                                   
                                       ^                                                                                    
Point.h:171:43: note:   template argument deduction/substitution failed:                                                        
main.cpp:16:25: note:   mismatched types 'unsigned int' and '#'integer_cst' not supported by dump_type#<type error>'            
 Vector1 = Vector1 - Vector2;                                                                                               
                     ^                                                                                                      
main.cpp:16:25: note:   'Math::TVector<int, 3ul>' is not derived from 'Math::TVector<Type, TemplateElementCount>' 

Answer 1

问题（或至少是其中一个问题）似乎是您使用unsigned 作为operator - 的第二个非类型模板参数的类型，而TVector 类被实例化为std::size_t 类型的相应非类型模板参数。这两种类型不一定相同（根据您收到的编译器错误，似乎std::size_t 在您的平台上解析为unsigned long），因此出现错误。

如下更改函数的签名应该可以解决问题：

template <typename Type, std::size_t TemplateElementCount>
//                       ^^^^^^^^^^^
Math::TVector <Type,TemplateElementCount> operator - (
    Math::TVector <Type,TemplateElementCount> &First, 
    Math::TVector <Type,TemplateElementCount> &Second )
{
    // ...
}