在什么情况下 C++ 函数中允许缺少模板参数？

Question

是C++代码，为什么第3行有错误：

不使用模板参数的模板结构总和

template<class T> void foo(T op1, T op2)
{
  cout<< "op1 = " << op1 << endl;
  cout<< "op2 = " << op2 << endl;

 }

 template<class T>
 struct sum
 {
    static void foo(T op1 , T op2)
    {
      cout << "sum is " << op1 << endl;
    }
 };


 int main()
 {
   foo(1,3);   // line 1
   foo<int>(1, '3'); // line 2
   sum::foo(1,2); // line 3
   return 0;
 }

第 1 行没有模板参数，但没有错误。

谢谢！

Answer 1

第 3 行正在尝试使用类模板的成员。

编译器可以/将（至少尝试）推断函数模板参数的类型。在少数情况下，它无法推断出类型，因此需要显式指定。

编译器将不会尝试推断类模板参数的类型。

因此，第 3 行需要类似于sum<int>::foo(1, 2);。 sum 本身只是类模板的名称，而不是类的名称。 :: 前面的名称必须是类（或命名空间）的名称。