c++ 为什么这个例子中的构造函数被调用了两次？

Question

我只是尝试了解以下情况的行为：

template <typename T1>
struct A{
    template <typename T2>
    A(T2 val){
        cout<<"sizeof(T1): "<<sizeof(T1)<<" sizeof(T2): "<<sizeof(T2)<<endl;
    }
    T1 dummyField;
};

so - 类使用 T1 模板化，构造函数使用 T2 模板化

现在 - 如果我写：

A<bool> a = A<bool>(true);

输出如预期：

sizeof(T1): 1 sizeof(T2): 1

但是 - 如果我写：

A<bool> a = A<float>(3.5f);

输出是：

sizeof(T1): 4 sizeof(T2): 4
sizeof(T1): 1 sizeof(T2): 4

为什么用模板参数float调用构造函数两次？

谢谢你满足我的好奇心

Answer 1

如何避免抄袭？

在这两种情况下都会调用两个构造函数，但是在第一种情况下您看不到它，因为其中一个是编译器生成的。如果要避免复制，则需要使用不同的语法，如下所示：

A<bool> a(true);

A<bool> a(3.5f);

为什么（以及什么）复制构造函数被调用？

A<bool> a = A<bool>(true);

这里使用 A (bool val) 构造函数来构造临时值，而默认编译器生成的复制构造函数用于执行 A 到 A 的复制。您正在复制相同的类型，对于相同类型的复制构造函数是用过的。这里有趣且不明显的事实是：模板构造函数从不用作复制构造函数，即使它看起来像一个。

A<bool> a = A<float>(3.5f);

这里先使用A<float>(float val)构造函数构造临时值，然后使用A<bool>( A<float> val)模板化构造函数进行复制。

Answer 2

在您的第一个示例中，您隐式调用了复制构造函数

A<bool>(A<bool> const&)

在您的第二个示例中，这不起作用，因为您有两种不同的类型 所以编译器必须使用你的模板构造函数来创建一个新对象 声明

 template <typename T2>
A(A<T2>const& val){
    cout<<sizeof(val.dummmyField)<<endl;
}

应该说清楚

Answer 3

因为您首先创建了模板类的浮动实例。

这是A<float>(3.5f)-Part。

然后通过将A<float> 转换为A<bool> 来创建A<bool>。所以首先为A<float>-instance 调用构造函数。调用A<bool> 的复制构造函数。