Почему requires !std::is_void_v работает только для шаблона?

Question

[Dyikot]

T& GetValue() const requires !std::is_void_v<T> //C7683
{
    return *_value;
}

template<typename TValue = T> requires !std::is_void_v<TValue>
TValue& GetValueAs() const
{
    return static_cast<TValue&>(*_value);
}

Comments

[Wataru]

Надо больше кода и текст ошибки. Так-то видно, что надо скобочки вокруг !std::is_void_v<T> в обоих случаях и тогда оба метода компилируются (если это методы шаблонного класса, конечно).

Скобочки нужны из-за !: https://en.cppreference.com/w/cpp/language/constra...

The expression must have one of the following forms:
A primary expression, e.g. Swappable, std::is_integral::value, (std::is_object_v && ...), or any parenthesized expression.
A sequence of primary expressions joined with the operator &&.
A sequence of aforementioned expressions joined with the operator ||.

[Dyikot]

Wataru,
13 строчка в BindableObject:
Ref<void> DataContext;
На скобочки у меня обычно ругается если 2 операнда, а не один. Тут нет ошибок с ними.
P.S. Вы наверно не так поняли но второй метод не выдает ошибок.

тогда оба метода компилируются

[Anton F]

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

Где-то нужно показать использование GetValueAs к чему оно присваивается?

В первой функцнии явно указано, что тип не может быть void, и по этому, не дает создать такой объект. если же вторая функция используется, например
`intptr_t ptr = GetValueAs()`, то оно инстанциируется как GetValueAs и работает.