Re: [boost] typeof(int() + double())?

From: Gabriel Dos Reis (Gabriel.Dos-Reis_at_[hidden])
Date: 2002-03-08 11:10:26

"Peter Dimov" <pdimov_at_[hidden]> writes:

| 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.)

OK, thanks!

-- Gaby