为什么 decltype 不是隐式的？

Question

为什么 decltype 在需要类型时不能隐式添加到表达式中？

template <class X, class Y, class Z>
auto foo(X x, Y y, Z z){
    std::vector<decltype(x+y*z)> values;  // valid in c++11/c++14
    //std::vector<x+y*z> values;            // invalid
    values.push_back(x+y*z);
    return values;                        // type deduced from expression - OK
}

在 c++14 中，编译器将能够根据返回表达式推断函数返回类型。为什么这不能扩展到任何“表达式->类型”转换？

同样适用于declval，我为什么要写：

std::vector<decltype(declval<X>() + declval<Y>() * declval<Z>())> values;

代替：

std::vector<X+Y*Z> values;

Answer 1

如果允许隐式添加decltype，一些非常常见的模板会变得模棱两可，甚至无法表达。

---

考虑以下示例：

struct tp 
{
    template<typename T>
    void foo() { cout << "Type parameter\n"; }   

    template<int Value>
    void foo() { cout << "Value parameter\n"; }   
};

int main() 
{
  const int x = 1;
  const int y = 2;
  const int z = 3;

  tp t1;
  t1.foo<x*y+z>();
  t1.foo<decltype(x*y+z)>(); // Oops ! different version of foo() 
  t1.foo<int>();

  return 0;
}

输出：

值参数

类型参数

类型参数

如果decltype 隐式添加到t1.foo<x*y+z>();，则会调用错误版本的foo()。

• C++ 策略用于表达你所做的事情，并尽可能避免编译器的任何隐式工作，恕我直言，这是一件非常好的事情。它使事情更易于阅读、理解和维护。
• 毕竟decltype只有8个字母

Live demo here。