1

ここに（比較的）簡単なコードサンプルがあります。

#include <type_traits>

template<typename T> class function;
template<typename Ret> class function<Ret()> {
public:
    template<typename Func> function(Func f, typename std::enable_if<std::is_same<Ret, decltype(f())>::value, int>::type x = 0) {
    }
};
template<typename Ret, typename A1> class function<Ret(A1)> {
public:
    template<typename Func> function(Func f, typename std::enable_if<std::is_same<Ret, decltype(f(*((A1*)nullptr)))>::value, int>::type x = 0) {
    }
};

namespace lols {
    int x() { return 0; }
    int y(int) { return 0; }
}
void func(function<int()>) {}
void func(function<int(int)>) {}

int main() {
    func(&lols::x);
    func(&lols::y);
}

typeMSVCはこれをスローし、それはのメンバーではないと言っていenable_if<false, int>ます。これは一種のポイントです。私が得られないのは、これが単なる置換の失敗ではなく致命的なエラーを引き起こす理由です-GCCでは、このコードは期待どおりに動作し、きれいにコンパイルされます。

4

1 に答える 1

1

clangは、文句なしにコードをコンパイルして実行します。

于 2011-05-15T16:30:56.490 に答える