编译器在不需要副本构造函数时会关心它

Question

为什么编译器在不需要副本构造函数时会关心它？

#include <iostream>

template<typename T>
void print(T);

class Foo {
    Foo(const Foo&);
public:
    Foo(){}

};

template<>
void print(const Foo& f) {
    std::cout << "Foo\n";
}


int main(){
    Foo foo;
    print(foo);
}

函数print已重载以接受，const Foo&但编译器会产生以下编译错误：

main.cpp: In function ‘int main()’:
main.cpp:21:14: error: ‘Foo::Foo(const Foo&)’ is private within this context
   21 |     print(foo);
      |              ^
main.cpp:7:5: note: declared private here
    7 |     Foo(const Foo&);
      |     ^~~
main.cpp:4:12: note:   initializing argument 1 of ‘void print(T) [with T = Foo]’
    4 | void print(T);
      |            ^

为什么会这样呢？显然，我们不需要复制构造函数，因为我们通过foo引用进行传递，并且print为此具有重载。

Answer 1

您的专业化不用于重载解析。重载解析仅合成来自主模板的签名。特化仅在调用函数时使用，并且仅当签名与编译器自身合成的签名匹配时才使用。由于主函数按值接受参数，因此这是参与重载决策的签名：

void print(Foo); // T = Foo

并且它与您在专业化 ( ) 中提供的签名不匹配T = Foo const&，因此不会调用专业化。事实上，调用专业化的唯一方法是显式指定模板参数：

print<Foo const&>(foo);

前进的方法不是专门化，而是超载。您只需删除template<>介绍人即可实现此目的。常规重载参与重载决策，并将选择模板生成的重载。