Добрый день. Зачем это уточнение? https://en.cppreference.com/w/cpp/types/common_type Otherwise, if std::decay<decltype(false ? std::declval<T1>() :

Question

Добрый день. Зачем это уточнение? https://en.cppreference.com/w/cpp/types/common_type Otherwise, if std::decay<decltype(false ? std::declval<T1>() :

std::declval<T2>())>::type is a valid type, the member type denotes that type;

После decay ведь тип не может стать invalid ? Да и в реализациях просто его пишут без проверок. На том же cppreference.
template <class T1, class T2>
struct common_type_2_impl<T1, T2, void_t<cond_t<T1, T2>>> {
using type = typename std::decay<cond_t<T1, T2>>::type;
};

#c #embedded #programming #russian

0

18.07.2021