3

在追求一些错误时，我偶然发现了以下初始化行为，这对我来说似乎很奇怪：虽然对现有构造函数进行了初始化检查，但似乎有些情况是忽略了适合构造函数的模板。例如考虑以下程序：

#include <iostream>

template<class T>
struct A {
 A() {};
 template<class S>
 A(const A<S>& a) {std::cout << "constructor template used for A" << std::endl;};
};

template<class T>
struct B{
 B() {};
 B(const B<int>& b) {std::cout << "constructor used for B" << std::endl;};
};

int main() {
 A<int> a;
 B<int> b;
 A<int> aa = a;
 B<int> bb = b;
 A<double> aaa = a;
}

对我来说，这会产生输出

constructor used for B
constructor template used for A

这意味着它不使用 main 的第三行中的构造函数。为什么不？有原因吗？或者我的语法在某个地方？该模板似乎有效，因为它已在最后一行成功使用。

我知道这个例子看起来过于复杂，但各种简化让我想要展示的行为消失了。另外：初始化将使用模板特化，这是我目前防止这种导致错误的方式（它首先导致错误）。

如果我的问题有任何问题，我很抱歉，我不是程序员，我不是母语人士，这是我的第一个问题，请原谅我。

4

3 回答 3

4

编译器提供了一个隐式声明的非模板复制构造函数，其签名等效于

A(const A& a);

因为模板构造函数不被视为用户定义的复制构造函数，即复制构造函数必须是非模板。

隐式声明的复制构造函数在重载决议中比模板版本更匹配，并且是当您A<T>从 复制构造时调用的A<T>。这可以用一个简单的例子来说明，用户定义A(const A&)：

#include <iostream>

template<class T>
struct A 
{
 A() {};

 A(const A& a) {
   std::cout << "copy constructor used for A" << std::endl;
 }

 template<class S>
 A(const A<S>& a) {
   std::cout << "constructor template used for A" << std::endl;
 }
};

int main()
{
  A<int> ai;
  A<double> ad = ai; /  calls template conversion contructor
  A<int> ai2 = ai;   // calls copy constructor A(const A&);
}
于 2013-02-27T15:31:35.227 回答
4

根据 C++11 标准的第 12.8/7 段：

如果类定义没有显式声明复制构造函数，则隐式声明。

此外，根据第 12.8/2 段：

类 X的非模板构造函数是复制构造函数，如果它的第一个参数是类型 X&、const X&、volatile X& 或 const volatile X&，并且没有其他参数，或者所有其他参数都有默认参数（8.3.6 ）。

因此，编译器将在此处生成一个隐式复制构造函数，该构造函数在执行此行期间被调用：

A<int> aa = a;

这解释了为什么您看不到相应的输出。

于 2013-02-27T15:35:15.503 回答
0

这是因为模板化 ctor 不是复制 ctor。另请参阅https://stackoverflow.com/a/1249848/341065。

于 2013-02-27T15:31:25.147 回答