转换运算符的模板参数类型推导

Question

我看到C ++ 11标准中的例子（n3337,14.8.2.3/7）

struct A {
template <class T> operator T***();
};
A a;
const int * const * const * p1 = a; // T is deduced as int, not const int

并尝试由不同的编译器重现它。 我通过在转换函数中添加类型为T的声明来稍微改变了示例

struct A {
    template <class T> operator T***()
    {
        T t;  //if T==const int, then it is error (uninitialized const)
        return nullptr;
    }
};
A a;
const int * const * const * p1 = a;

int main(){}

所有编译器（VS2014，gcc 5.1.0和clang 3.5.1）都在“t”的声明中给出了一个错误，这意味着T被推导为const int。 这是为什么？ 这是一些扩展吗？

Answer 1

这由CWG问题＃349涵盖，由EDG C ++前端的开发人员打开（显然推断出int ，而不是const int ）：

在为转换函数执行模板参数推导时，我们遇到了有关资格转换的问题。

问题是：此示例调用的转换函数中的T类型是什么？ 是T“int”还是“const int”？

如果T是“int”，则类A中的转换函数起作用，而类B中的转换函数失败（因为返回表达式无法转换为函数的返回类型）。 如果T是“const int”，则A失败并且B工作。

因为对转换函数的结果执行了限定转换，所以我认为将T推导为const int没有任何好处。

另外，我认为A类中的代码比B类中的代码更容易出现。如果类的作者计划返回指向const实体的指针，我希望该函数是用返回类型中的const。

因此，我认为正确的结果应该是T是int。

 struct A { template <class T> operator T***() { int*** p = 0; return p; } }; struct B { template <class T> operator T***() { const int*** p = 0; return p; } }; int main() { A a; const int * const * const * p1 = a; B b; const int * const * const * p2 = b; } 

我们刚刚实施了这个功能，并且在委员会要求澄清之前，我们将T推断为int。 似乎g ++和Sun编译器将T推导为const int。

这只引入了引用的段落（它在C ++ 03中不存在！），并且可能被编译器开发人员忽略了。