Я только исправил код ОП, как он и просил. Вероятно, это просто фрагмент файла большего размера, который объясняет отсутствующие включения, и он, вероятно, использует пространство имен std.
олько) устаревшийстатья исследует способы использованияdecltype
вместе с SFINAE, чтобы определить, поддерживает ли тип определенные операторы, такие как==
или же<
.
Вот пример кода, чтобы определить, поддерживает ли класс<
оператор:
template <class T>
struct supports_less_than
{
static auto less_than_test(const T* t) -> decltype(*t < *t, char(0))
{ }
static std::array<char, 2> less_than_test(...) { }
static const bool value = (sizeof(less_than_test((T*)0)) == 1);
};
int main()
{
std::cout << std::boolalpha << supports_less_than<std::string>::value << endl;
}
Это выводыtrue
конечноstd::string
поддерживает<
оператор. Однако, если я попытаюсь использовать его с классом, которыйне поддержать<
оператор, я получаю ошибку компилятора:
error: no match for ‘operator<’ in ‘* t < * t’
Так что СФИНА не работает здесь. Я попробовал это на GCC 4.4 и GCC 4.6, и оба показали одинаковое поведение. Итак, возможно ли использовать SFINAE таким образом, чтобы определить, поддерживает ли тип определенные выражения?