Вопрос
Почему этот код (значение FNC в классе M) не решается правилами Sfinae? Я получаю ошибку:
Error 1 error C2039: 'type' : is not a member of
'std::tr1::enable_if<_Test,_Type>'
Тип конечно не является членом, он не определен в этом общем Ver enable_If, но не вся идея за этим, чтобы включить этот верний FNC, если BOOL верно и не создает несмотря на это, если это ложь? Может порадовать кого-то объяснить это мне?
#include <iostream>
#include <type_traits>
using namespace std;
template <class Ex> struct Null;
template <class Ex> struct Throw;
template <template <class> class Policy> struct IsThrow;
template <> struct IsThrow<Null> {
enum {value = 0};
};
template <> struct IsThrow<Throw> {
enum {value = 1};
};
template <template <class> class Derived>
struct PolicyBase {
enum {value = IsThrow<Derived>::value};
};
template<class Ex>
struct Null : PolicyBase<Null> { };
template<class Ex>
struct Throw : PolicyBase<Throw> { } ;
template<template< class> class SomePolicy>
struct M {
//template<class T>
//struct D : SomePolicy<D<T>>
//{
//};
static const int ist = SomePolicy<int>::value;
typename std::enable_if<ist, void>::type value() const
{
cout << "Enabled";
}
typename std::enable_if<!ist, void>::type value() const
{
cout << "Disabled";
}
};
int main()
{
M<Null> m;
m.value();
}
Решение
Sfinae не работает для функций не шаблонов. Вместо этого вы можете, например, использовать специализацию (из класса) или отгрузки на основе перегрузки:
template<template< class> class SomePolicy>
struct M
{
static const int ist = SomePolicy<int>::value;
void value() const {
inner_value(std::integral_constant<bool,!!ist>());
}
private:
void inner_value(std::true_type) const { cout << "Enabled"; }
void inner_value(std::false_type) const { cout << "Disabled"; }
};
Другие советы
Есть Нет Сфинаэ здесь.
После M<Null>
Известен переменной ist
Известен также. потом std::enable_if<ist, void>
хорошо определен тоже. Одна из ваших функций не четко определена.
Sfinae работает только для случая функций шаблона. Где есть шаблонные функции?
Изменить свой код на
template<int> struct Int2Type {}
void value_help(Int2Type<true> ) const {
cout << "Enabled";
}
void value_help(Int2Type<false> ) const {
cout << "Disabled";
}
void value() const {
return value_help(Int2Type<ist>());
}