SFINAE выбор перегрузки для имеет или не имеет оператора <<?

Question

SFINAE выбор перегрузки для имеет или не имеет оператора <<?

0

Рассмотрим эти две функции:

template <class Type, 
          class = typename std::enable_if</*HAS OPERATOR <<*/>::type>
void f(std::ostream& stream, const Type& value);

template <class Type, 
          class... DummyTypes,
          class = typename std::enable_if<sizeof...(DummyTypes) == 0>::type>
void f(std::ostream& stream, const Type& value, DummyTypes...);

Поскольку невариантная перегрузка имеет приоритет над вариационной перегрузкой, я хочу проверить, имеет ли тип operator<< с помощью std::ostream используя std::enable_if в первой версии.

Так что я должен писать вместо /*HAS OPERATOR <<*/?

Vincent 06 окт. 2013, в 19:34

Источник

Теги:

c++

c++11

operators

sfinae

enable-if

3 ответа

6

Используя трейлинг-тип возвращаемого значения (1), вы можете иметь предвкушение понятий:

template <typename Type>
auto f(std::ostream& out, Type const& t) -> decltype(out << t, void()) {
    // ...
}

Из-за SFINAE эта перегрузка может быть выбрана только в том случае, если тип out << t может быть разрешен, и это означает, что существует перегрузка << существует, которая принимает оба параметра.

Одна ошибка заключается в том, что это не работает, если вам нужно обратное, что позволяет использовать функцию, если эта перегрузка не существует. В этом случае, насколько мне известно, необходима стратегия enable_if (и симметричная disable_if).

(1) благодаря Simple для поддержки синтаксиса

Matthieu M. 06 окт. 2013, в 15:48

2

Проще всего проверять, когда у вас есть аргументы, т.е. Я предпочитаю использовать что-то вроде этого:

template <typename Type>
auto f(std::ostream& out, Type const& value)
    -> typename std::enable_if<sizeof(out << value) != 0>::type {
    ...
}

Аналогичный эффект можно получить с помощью std::declval() но я не уверен в создании ссылок.

Dietmar Kühl 06 окт. 2013, в 14:32

0

sizeof(decltype(...)) не требуется, вы можете использовать sizeof(...) непосредственно для выражения.
Daniel Frey 06 окт. 2013, в 17:23
1

Это настоящая боль, что нельзя использовать void в регулярных выражениях. decltype(out << value, void{}) будет намного проще.
Matthieu M. 06 окт. 2013, в 17:31
0

@MatthieuM. decltype(out << value, void()) .
Simple 06 окт. 2013, в 17:42
0

@ Простой: Ах! Я не думал об этом способе выразить это. Это классно :)
Matthieu M. 06 окт. 2013, в 17:54
0

@DanielFrey: правда (исправлено удаление). Благодарю.
Dietmar Kühl 06 окт. 2013, в 18:09
0

В вашем коде есть еще одна проблема: вам нужно sizeof(out<<value)!=0 а не просто sizeof(out<<value) потому что в этом контексте сужение до bool не допускается. GCC принимает неработающий код, но Clang отклоняет его.
Daniel Frey 06 окт. 2013, в 21:26

Показать ещё 4 комментария

Ещё вопросы

sizeof(decltype(...)) не требуется, вы можете использовать sizeof(...) непосредственно для выражения.
Это настоящая боль, что нельзя использовать void в регулярных выражениях. decltype(out << value, void{}) будет намного проще.
@ Простой: Ах! Я не думал об этом способе выразить это. Это классно :)
@DanielFrey: правда (исправлено удаление). Благодарю.
В вашем коде есть еще одна проблема: вам нужно sizeof(out<<value)!=0 а не просто sizeof(out<<value) потому что в этом контексте сужение до bool не допускается. GCC принимает неработающий код, но Clang отклоняет его.

Daniel Frey · Accepted Answer · 2013-10-06T15-01-00.000Z

Следующее должно работать

template <class Type, 
          class = decltype(std::declval<std::ostream&>() << std::declval<Type>())>
void f(std::ostream& stream, const Type& value)
{
    stream << value;
}

(обратите внимание, что в этом случае вам не нужно использовать std::enable_if)