使用嵌套类的奇怪的enable_if行为（MSVC编译器错误或功能？）

Question

经过相当长的时间调试我的代码后，我使用enable_if将问题的原因追溯到一些意外的模板专业化结果：

以下代码在Visual Studio 2010（和2008）中的DoTest（）中失败了断言，而在Visual Studio 2010（和2008）中却没有g++ 3.4.5。 但是，当我从 SomeClass 中删除模板或将 my_condition 移出 SomeClass 范围时，它也可以在 MSVC 中工作。

这段代码是否有问题可以解释这种行为（至少部分地），或者这是 MSVC 编译器中的错误？

（使用此示例代码，对于 boost 和 c++0x stl 版本来说是相同的）

#include <cassert>
#include <boost\utility\enable_if.hpp>

template <class X>
class SomeClass {
public:
    template <class T>
    struct my_condition {
        static const bool value = true;
    };

    template <class T, class Enable = void> 
    struct enable_if_tester { 
        bool operator()() { return false; }
    };

    template <class T>
    struct enable_if_tester<T, typename boost::enable_if< my_condition<T> >::type> { 
        bool operator()() { return true; }
    };

    template <class T>
    void DoTest() {
        enable_if_tester<T> test;
        assert( test() );
    }
};

int main() {
    SomeClass<float>().DoTest<int>();
    return 0;
}

---

当尝试通过将条件移出范围来修复它时，我还注意到这在使用 std::enable_if 时甚至还不够，但至少它适用于 boost::enable_if:

#include <cassert>
//#include <boost\utility\enable_if.hpp>
#include <type_traits>

template <class T, class X>
struct my_condition {
    static const bool value = true;
};

template <class X>
class SomeClass {
public:
    template <class T, class Enable = void> 
    struct enable_if_tester { 
        bool operator()() { return false; }
    };

    template <class T>
    //struct enable_if_tester<T, typename boost::enable_if< my_condition<T, X> >::type> { 
    struct enable_if_tester<T, typename std::enable_if< my_condition<T, X>::value >::type> { 
        bool operator()() { return true; }
    };

    template <class T>
    void DoTest() {
        enable_if_tester<T> test;
        assert( test() );
    }
};

int main() {
    SomeClass<float>().DoTest<int>();
    return 0;
}

我希望有人对此有解释。

Answer 1

你的代码一切都很好，只是 VC 有问题。众所周知，模板成员类的部分模板特化存在问题。