C++ - 模板嵌套类的引用初始化无效

Question

我们有两个模板化类， Class1有一个嵌套类。 Class2需要从该嵌套类对象构造/转换。

template<typename T> struct Class1{    
    Class1() = default;
    class Inner{};
};

template<typename T> struct Class2{
    Class2() = default;
    template<typename T2> Class2(const Class1<T2>&) {}
    template<typename T2> Class2(const typename Class1<T2>::Inner&) {}
};

void foo(const Class2<int>&){}

...

Class1<int> c1;
Class1<int>::Inner i1;

foo( c1);
foo( i1); // <===================ERROR

错误文本是：

error: invalid initialization of reference of type ???const Class2<int>&??? from expression of type ???Class1<int>::Inner???

为什么我会收到这个错误？ 从Class1构建作品。 如果类不是模板，则从Inner构造也有效。

Answer 1

无法调用第二个构造函数（采用Inner构造函数）。 由于模板参数T2出现在非推导的上下文中，在命名依赖类型的范围解析运算符的左侧，它必须明确指定。

但是不能显式提供模板化构造函数的模板参数！ 它们必须被推导出来。

因此，第二个 c'tor 的替换总是失败。 只有第一个 c'tor 使它重载决议。 并且该重载决议看到您尝试将Class2<int>::Inner对象绑定到const Class2<int>& 。 该引用根本无法绑定。