为什么C ++ 11中需要decltype？

Question

我正在C ++ 11中学习decltype 。

auto和decltype的功能似乎重复了，我不明白为什么我们需要decltype 。

根据Wiki的说法，它的主要用途是在通用编程中，在这种情况下，表达依赖于模板参数的类型通常很困难，甚至不可能。

在通用编程中，当难以表达类型时，可以使用auto ：

template <typename T>
void MakeAnObject (const T& builder)
{
    auto val = builder.MakeObject();
    // do stuff with val
}

我不明白为什么需要decltype 。

decltype可以执行auto无法执行的操作吗？

Answer 1

auto表示“变量的类型是从初始化程序推导出的。”

decltype是指任意上下文中的类型。

这是一个不能使用auto的示例：

template <typename T, typename U, typename V>
void madd(const T &t, const U &u, const V &v, decltype(t * u + v) &res)
{
  res = t * u + v;
}

参数声明中没有初始化程序（并且没有初始化程序），因此您不能在那里使用auto 。

事实是， decltype 99％使用都在模板中。 那里没有等效的功能。 在非模板代码中，通常要使用auto 。

Answer 2

虽然使用auto声明变量非常有用，但是如果您实际上需要了解表达式的类型，例如，当为模板化函数生成返回类型时， auto不足以：您不仅需要命名值，还需要您需要掌握类型，例如进行修改。 如果可以删除任何东西，它将是auto 。 但是， decltype()的使用往往比较罗word，例如， auto是一个不错的捷径。

Answer 3

auto是从初始化程序推导的类型。

例：

auto x = 7; 
auto x = expression;

decltype[E]是名称或表达式E的类型（“声明的类型”），可以在声明中使用。

例：

template <class T, class U>
auto mult(T& t1, U& u1) -> decltype (t1 * u1)
{
    return t1 * u1;
} 

即使是auto的第二种情况也可以用decltype代替，但是auto看起来很不错。

decltype (j * i) m = j * i;

decltype主要用于模板编程中。