＆lt;＆lt;操作员超载和模板专业化

Question

作为学习目的的一部分，我只是在使用模板专业化以及操作员超载的情况下播放

#include <iostream>

template<class T>
void operator<<(std::ostream& COUT,T val)
{
   std::operator<<(COUT,val); //works for basic data types
}

//specializing for const char*
template<>
void operator<<(std::ostream& COUT,const char* val)
{
    std::operator<<(COUT,val);
}
int main()
{
    std::cout<<"samplestring"; //getting error here
    return 0;
}

，我会遇到以下错误，但我无法弄清楚。

<source>:17:14: error: ambiguous overload for 'operator<<' (operand types are 'std::ostream' {aka 'std::basic_ostream<char>'} and 'const char [13]')
   17 |     std::cout<<"samplestring";
      |     ~~~~~~~~~^~~~~~~~~~~~~~~~
      |          |     |
      |          |     const char [13]
      |          std::ostream {aka std::basic_ostream<char>}

这里有什么问题

谢谢..！

Answer 1

问题是已经有运算符＆lt;（std :: Ostream＆amp; cout，const char* val）由标准库定义。

因此，现在有两个符号，

std::operator<<(std::ostream& ostream,const char* val);
operator<<(std::ostream& COUT,const char* val); // YOURS

因为符号不同，没有多个定义错误。

呼叫std :: Cout＆lt;＆lt; “ Hello”，编译器搜索所有操作员＆lt;>当前在呼叫站点上定义的功能。看来它只是您的函数，但是编译器还查看了定义传递参数的所有命名空间。在这种情况下，它是std ::名称空间，并且编译器在那里找到了STL版本。这称为参数依赖性查找（ADL）。

由于这两个功能都是模板，并且都不比另一个功能更专业，因此呼叫是模棱两可的。

请不要将所有大写字母用作变量cout，通常保留给宏，一个字母的模板参数为异常t。

//为基本数据类型工作

也不正确的基本数据类型，std :: cout＆lt;＆lt; 5;不会使用t来调用您的定义。因为存在 std :: oStream :: oStream :: optream :: operator＆lt＆lt;＆lt;＆lt;＆lt; v） 方法。同样的查找也会发生，但是由于此方法不是模板，因此它是一个更好的候选者，因此选择了。您的模板功能从未被调用。