什么时候应该使用 decltype(expression)？

Question

我理解为什么我们需要 decltype(auto) 并且它与 auto 不同，但我不知道为什么以及何时应该/需要使用 decltype(expression)。在cppreference 的所有示例中，我只能使用 decltype(auto)，我检查了它。 提前感谢您的帮助。

Answer 1

我能想到的最简单的例子是：

void foo(int i) {
    for (decltype(i) j = 0; j < i; ++j) 
        ...
}

这里，索引j 自动与上限i 具有相同的类型。

另一个示例由 lambda 表达式提供：

[](auto i) {
    for (decltype(i) j = 0; j < i; ++j) 
        ...    
}

Answer 2

但我不知道为什么以及何时应该/需要使用decltype(expression)

在 C++11 中，您可以使用尾随返回类型，但不能使用自动推导的返回类型。例如：

template<typename T, typename U>
auto add(T t, U u) -> decltype(t + u) { return t + u; }

C++14 等价物是：

template<typename T, typename U>
decltype(auto) add(T t, U u) { return t + u; }

---

另一个用途是 SFINAE，例如检测是否存在具有特定名称的成员函数：

#include <iostream>

template<class T>
auto test_has_f(T* p) -> decltype(static_cast<void>(p->f()), std::true_type{}); // Cast to void to avoid user-defined operator,(), if any.

std::false_type test_has_f(void*);

template<class T>
using HasF = decltype(test_has_f(static_cast<T*>(0)));

struct A {};
struct B { void f(); };

int main() {
    std::cout << HasF<A>::value << '\n'; // Outputs 0.
    std::cout << HasF<B>::value << '\n'; // Outputs 1.
}

Answer 3

有时你需要声明一个与另一个类型相关但又想保持不可知的类型：

struct foo
{
    std::vector<int> data;
    decltype(data)::iterator it;
};