[Boost-users] Re: enable_if for class templates

From: Jonathan Turkanis (technews_at_[hidden])
Date: 2004-12-19 13:07:22

Here's a stripped-down version of the program (with no includes) which
reproduces the ICE.

Jonathan

-------------

template<bool Condition>
struct enable_if {
    typedef void type;
};

template<>
struct enable_if<false> { };

template<typename T>
struct alway_true {
    enum { value = 1 };
};

template<typename T, typename E = void>
struct A;

template<typename T>
struct A<T, typename enable_if< alway_true<T>::value >::type> { };

template<typename T>
struct A<T, typename enable_if< alway_true<T>::value >::type> { };

// Instantiate A:
A<int> a;