Что случилось с моими членами класса условного шаблона SFINAE redux:?

Во-первых, C ++ 11 не поддерживает disable_if ускорения. Поэтому, если вы собираетесь перейти на ускоренный код, вам нужно будет использовать enable_if с отрицательным условием (или переопределить свою собственную конструкцию disable_if).

Во-вторых, для того, чтобы SFINAE могла проникнуть на уровень методов и применяться к ним, эти методы сами должны быть шаблонами. Тем не менее, ваши тесты должны выполняться по параметрам этих шаблонов ... поэтому код типа enable_if<is_pointer<T> не будет работать. Вы можете уточнить это, сделав некоторый аргумент шаблона (скажем, X) по умолчанию равным T, а затем вставив статическое утверждение о том, что вызывающий объект явно не специализировал его на чем-то еще.

Это означает, что вместо написания:

template <typename T>
struct Foo {
    typename enable_if<is_pointer<T>::value, void>::type
    valid_if_pointer(T) const { /* ... */ }

    typename disable_if<is_pointer<T>::value, void>::type
    valid_if_not_pointer(T) const { /* ... */ }
};

... вы бы написали:

template <typename T>
struct Foo {
    template <typename X=T>
    typename enable_if<is_pointer<X>::value, void>::type
    valid_if_pointer(T) const {
        static_assert(is_same<X,T>::value, "can't explicitly specialize");
        /* ... */
    }

    template <typename X=T>    
    typename enable_if<not is_pointer<X>::value, void>::type
    valid_if_not_pointer(T) const {
        static_assert(is_same<X,T>::value, "can't explicitly specialize");
        /* ... */
    }
};

Оба теперь являются шаблонами, и enable_if использует параметр шаблона X, а не T, который предназначен для всего класса. В частности, речь идет о подстановке, которая происходит при создании набора кандидатов для разрешения перегрузки - в вашей начальной версии подстановки шаблона во время разрешения перегрузки не происходит.

Обратите внимание, что статическое утверждение предназначено для сохранения намерения исходной проблемы и предотвращения того, чтобы кто-то мог компилировать такие вещи, как:

Foo<int>().valid_if_pointer<int*>(someInt);

На мой взгляд, вам не нужна СФИНАЭ здесь. SFINAE полезен для выбора между различными шаблонными перегрузками. По сути, вы используете его, чтобы помочь компилятору выбрать между template <typename Pointer> void f(Pointer); и template <typename NotPointer> void f(NotPointer);.

Это не то, что вам здесь нужно. Здесь у вас есть две функции с разными именами, а не две одинаковые перегрузки. Компилятор уже может выбирать между template <typename Pointer> void f(Pointer); и template <typename NotPointer> void g(NotPointer);.

Я приведу пример, чтобы объяснить, почему я считаю SFINAE не только ненужным, но и нежелательным.

Foo<int> not_pointer;
Foo<int*> pointer;

not_pointer.valid_if_pointer(); // #1
not_pointer.valid_if_not_pointer(); // #2
pointer.valid_if_pointer(); // #3
pointer.valid_if_not_pointer(); // #4

Теперь предположим, что вам удалось заставить это работать с SFINAE. Попытка скомпилировать этот фрагмент кода приведет к ошибкам в строках №1 и №4. Эти ошибки будут похожи на «член не найден» или что-то подобное. Он может даже указать функцию как отвергнутый кандидат в разрешении перегрузки.

Теперь предположим, что вы сделали это не с SFINAE, а с static_assert. Нравится:

template <typename T>
struct Foo {
    void valid_if_pointer(T) const {
        static_assert(std::is_pointer<T>::value, "valid_if_pointer only works for pointers");
        // blah blah implementation
    }

    void valid_if_not_pointer(T) const {
        static_assert(!std::is_pointer<T>::value, "valid_if_not_pointer only works for non-pointers");
        // blah blah implementation
    }
};

При этом вы получите ошибки в той же строке. Но вы получите очень короткие и полезные ошибки. Кое-что люди просят у разработчиков компиляторов годами. И теперь он у вас на пороге :)

Вы получаете то же самое: ошибки в обоих случаях, за исключением того, что вы получаете гораздо лучший вариант без SFINAE.

Также обратите внимание, что если вы вообще не использовали static_assert и реализация функций была действительна только при наличии указателей или не указателей, соответственно, вы все равно получили бы ошибки в соответствующих строках, за исключением, возможно, более неприятных.

TL; DR: если у вас нет двух фактических шаблонных функций с одинаковым именем, предпочтительно использовать static_assert вместо SFINAE.