c++简单有成员

#define 有成员(S) \
    元<型名 T,类=空>构 有##S:假型{};\
    元<型名 T>构 有##S<T,空型<推导(求值<T>().S())>>:真型{};

使用代码:

#include <常用>
构 A{
    空 啊(串&s){//加了个参数就不灵了.
        打印("啊");
    }
};
构 B{
    空 哦(串&t){//加了t就不灵了.
        打印("哦");
    }
};

有成员(啊);
有成员(哦);

空 主(){
    打印(有啊<A>::值,"有啊");
    打印(有哦<B>::值,"有哦");
    打印(有啊<B>::值,"无啊");
    打印(有哦<A>::值,"无哦");
}

这里有void_t的详细解释.