Перегруженные `&&`/`||` Операторы в концепциях и требуемых припадках ⇐ C++

[Anonymous]

Я сделал макрос для оператора «подразумевает». Он работает нормально в целом, но ломается на Clang, когда используется в концепции или требуется оказание.
namespace detail
{
template
concept BoolLike = requires(T &&t) {(T &&)t ? true : false;};

struct Implies
{
template
friend constexpr bool operator||(T &&lhs, Implies)
{
return !bool((T &&)lhs);
}
};
}

#define IMPLIES ||::detail::Implies{}||

template
concept A = true IMPLIES true;

static_assert(A);
< /code>
clang говорит: < /p>
:19:18: error: atomic constraint must be of type 'bool' (found '::detail::Implies')
19 | concept A = true IMPLIES true;
| ^~~~~~~
:16:19: note: expanded from macro 'IMPLIES'
16 | #define IMPLIES ||::detail::Implies{}||
| ^~~~~~~~~~~~~~~~~~~
< /code>
, в то время как GCC и MSVC с радостью принимают этот код. Какой компилятор правильный?


Подробнее здесь: https://stackoverflow.com/questions/794 ... es-clauses