decltype（ constexpr 变量）

为什么 constexpr 变量的 decltype 失败？

#include <cstdint>
#include <type_traits>

constexpr uint16_t foo(){ return 0;}

constexpr auto cv = foo();
          auto v  = foo();

static_assert( std::is_same< uint16_t, decltype(cv)>::value, "!"); // failed

static_assert( std::is_same< uint16_t, decltype(v) >::value, "!"); // success

decltype(entity)指定声明的类型entity由该表达式指定。

因为constexpr, (A constexpr对象声明中使用的说明符意味着const), your cv变量的类型const uint16_t.

你懂的const uint16_t不同于uint16_t然后你的行：

static_assert( std::is_same< uint16_t, decltype(cv)>::value, "!");

正如预期的那样失败。

The line

constexpr uint16_t foo(){ return 0;}

指定该函数foo可以在编译时求值，但该函数仍然返回uint16_t。这就是为什么上线

auto v  = foo();

v属于类型uint16_t然后线

static_assert( std::is_same< uint16_t, decltype(v) >::value, "!");

也按预期工作。