c – 如何在编译时确认自动推理类型的假设？ (即static_assert样

发布时间：2020-12-16 09:52:44 所属栏目：百科来源：网络整理

导读：偶尔,我会将函数的返回值赋给auto类型的变量(例如auto returnValue = someFunction();),但是仍然想澄清/强制执行关于该变量类型的某些假设 – 即它是int类型而Concept type_traits提供了一些非常强大的静态假设验证功能,它们不支持这样的东西： static_asse

偶尔,我会将函数的返回值赋给auto类型的变量(例如auto returnValue = someFunction();),但是仍然想澄清/强制执行关于该变量类型的某些假设 – 即它是int类型

而Concept& type_traits提供了一些非常强大的静态假设验证功能,它们不支持这样的东西：

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

我怎样才能做到这一点？

解决方法

你可以在这里使用类型特征,即 std::is_same：

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

演示here.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!