c – SFINAE：static_assert vs std :: enable_if

发布时间：2020-12-16 03:15:18 所属栏目：百科来源：网络整理

导读：在以下(建议！)语法中有什么缺点吗？ template typename T void f() static_assert(std::is_same T,int ::value){ ; } 而不是SFINAE(看起来像拐杖)： template typename T,typename = typename std::enable_if std::is_same T,int ::value ::type void f() {

在以下(建议！)语法中有什么缺点吗？

template< typename T >
void f() static_assert(std::is_same< T,int >::value)
{ ; }

而不是SFINAE(看起来像拐杖)：

template< typename T,typename = typename std::enable_if< std::is_same< T,int >::value >::type >
void f() { ; }

甚至更糟：

template< typename T >
typename std::enable_if< std::is_same< T,int >::value >::type 
f() 
{ ; }

禁止使用自动扣除结果类型.

解决方法

为什么使用static_assert比 Concepts Lite语法更好？

template< typename T >
  void f() requires Int<T>()
  { }

要么：

template< Int T >
  void f()
  { }

（编辑：李大同）

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