c++ - 如何在编译时确认自动推断类型的假设？ (即 static_assert 样式

Question

有时，我会将函数的返回值分配给 auto 类型的变量(例如 auto returnValue = someFunction();)，但是 仍然 想澄清/强制执行关于该变量类型的某些假设 - 即它是 int 类型。

虽然 Concepts 和 type_traits 提供了一些非常强大的静态假设验证功能，但它们并没有启用这样的功能:

static_assert( isType( returnValue, int ) );
//OR
static_assert( int == typeof( returnValue ) );

我该怎么做？

Answer 1

您可以使用类型特征，即 std::is_same这里:

static_assert( std::is_same<int, decltype( returnValue ) >:: value  ,  "Error, Bad Type");

演示 here .