c – sfinae使用decltype检查静态成员

前端之家收集整理的这篇文章主要介绍了c – sfinae使用decltype检查静态成员前端之家小编觉得挺不错的,现在分享给大家,也给大家做个参考。
@H_301_0@
我写了下面的代码来尝试检测一个类型是否有一个静态成员变量.不幸的是,它总是返回,变量不存在.

有人可以告诉我我哪里错了吗?我使用的是g 4.7.1.

#include <iostream>
#include <utility>
#include <type_traits>

using namespace std;

template <class T>                                                  
class has_is_baz                                                          
{                                                                   
    template<class U,typename std::enable_if<std::is_same<bool,decltype(U::is_baz)>::value>::type...>                    
        static std::true_type check(int);                           
    template <class>                                                
        static std::false_type check(...);                          
public:                                                             
    static constexpr bool value = decltype(check<T>(0))::value;     
};

struct foo { };

struct bar 
{ 
    static constexpr bool is_baz = true;
};

int main()
{
    cout << has_is_baz<foo>::value << '\n';
    cout << has_is_baz<bar>::value << '\n';
}
@H_403_6@

解决方法

主要问题是:
std::is_same<bool,decltype(bar::is_baz)>::value == false

那么你的SFINAE总​​是失败.我重写了has_is_baz trait,现在它可以工作:

#include <iostream>
#include <utility>
#include <type_traits>

using namespace std;

template <class T>                                                  
class has_is_baz                                                          
{       
    template<class U,class = typename std::enable_if<!std::is_member_pointer<decltype(&U::is_baz)>::value>::type>
        static std::true_type check(int);
    template <class>
        static std::false_type check(...);
public:
    static constexpr bool value = decltype(check<T>(0))::value;
};

struct foo { };

struct bar 
{ 
    static constexpr bool is_baz = true;
};

struct not_static {
    bool is_baz;
};

int main()
{
    cout << has_is_baz<foo>::value << '\n';
    cout << has_is_baz<bar>::value << '\n';
    cout << has_is_baz<not_static>::value << '\n';
}

演示here.

编辑:我已经修改了类型特征.正如@litb所说,它正在检测静态成员以及非静态成员.

@H_403_6@ @H_403_6@

猜你在找的C&C++相关文章