调用正确的构造函数

Question

我有一个带有两个构造函数的类 X，定义如下：

template <typename T>
class X {
  template <typename U>      
  X(U& u) {
   // some logic
  }

  X(const Y<T>& y) {
    // some other logic
  }
};

类 Y 有一个返回 Y 类型对象的静态方法。

template <typename T>
class Y {
  static Y<T> myStaticMethod(const T& t) {
    // some logic
  }
};

现在如果我尝试，下面的代码：

const Y<double>& obj = Y<double>::myStaticMethod(1.0);
X<double> xObj = new X<double>(obj);

具有双重模板 T 和 U 的构造函数被调用， T = double 这是预期的，但 U = Y<double>* 这是相当意外的。

我希望调用 X 的第二个构造函数，但它没有发生。还有，为什么我用引用调用构造函数时，obj会被转换成指针？

Answer 1

考虑你的路线：

X<double> xObj = new X<double>(obj);

这告诉编译器获取新表达式的结果，并且 将它们转换为X<double>。新结果的类型 表达式为X<double>*； X<double> 的唯一构造函数 可以用指针调用的是template <typename T> X:X(U& )。 除了它也不能被调用，因为它需要绑定一个 右值到非常量引用。但是有些编译器坏了，而且 还是允许吧。

按照写的，代码不应该编译，但如果编译，它应该调用X<double>的构造函数两次。

Answer 2

把那条线拆开，分成两行。

X<double>* xObjPtr = new X<double>(obj);
X<double> xObj = xObjPtr;

现在编译器尝试调用的原因是否有意义：

template <typename U> X(U& u) {}

U == X<double>*