From: Peter Dimov (pdimov_at_[hidden])
Date: 2002-03-08 10:54:05
From: "Gabriel Dos Reis" <Gabriel.Dos-Reis_at_[hidden]>
> Howard Hinnant <hinnant_at_[hidden]> writes:
> | template <class T> T make();
> |
> | template<typename TypeLHS, typename TypeRHS>
> | struct binary_operator_traits {
> | typedef typeof(make<TypeLHS>() + make<TypeRHS>()) arithmetic;
>
> However, this would require a definition for make()...
No, it wouldn't, if typeof() doesn't evaluate the operand (similar to
sizeof.)