Как оценивается это булево выражение?

Question

В C++, пусть следующей конструкции:

template<typename ValueType> 
ValueType * func(Foo * foo) 
{ 
    Bar bar; 
    return foo && typeid(foo) == typeid(ValueType) ? &static_cast<ValueType*>bar : 0; 
} 

Как вычисляется оператор возврата? Вот так?

if ((bar && typeid(bar)) == typeid(ValueType)) 
    return &static_cast<ValueType*>bar 
return false; 

Answer 1

foo && typeid(foo) == typeid(ValueType) ? &static_cast<ValueType*>bar : 0; 

... исправил с скобкой после static_cast<>, оценивается как ...

(foo && (typeid(foo) == typeid(ValueType))) ? (&(static_cast<ValueType*>(bar))) : 0; 

Правила приоритета перечислены here. Обратите внимание, что тройной оператор ?: находится на уровне 15 приоритета в этом списке - ниже, чем другие используемые вами операторы, поэтому он определяет внешнюю структуру оценки. && находится на 13 - уровне ниже == в 9. (Я не думаю, что эти цифры используются в любом месте Стандарта, но они являются удобными ссылками для указания элементов в таблице cppreference).