compile time type check

[er]

Hi All,

how can i enforce the requirement below ?

template<class RANDOM>//template member function
double A<RANDOM>:perator()(RANDOM& u){
/* requirement: RANDOM::result_type is double */

/* body of the function */
};

 

[Alf P. Steinbach]

* er:

how can i enforce the requirement below ?

template<class RANDOM>//template member function
double A<RANDOM>:perator()(RANDOM& u){
/* requirement: RANDOM::result_type is double */

/* body of the function */
};

The Boost library provides facilities for compile time assertions and
compile time checking of whether two types are the same. Compile time
assertions will become part of the language in C++0x, but with slightly
different syntax than the Boost macro. There is however a good chance
that it would be better to rethink the design rather than enforce.

Btw., don't use all uppercase for non-macro names.

Reserve all uppercase for macro names, to reduce possibility of name
collisions.


Cheers, & hth.,

- Alf

 

[er]

* er:






The Boost library provides facilities for compile time assertions and
compile time checking of whether two types are the same. Compile time

Do you mean BOOST_STATIC_ASSERT? If so, specifically how do I define
the predicate in my case?

assertions will become part of the language in C++0x, but with slightly
different syntax than the Boost macro. There is however a good chance
that it would be better to rethink the design rather than enforce.

Basically in my example A<Random>:perator()(Random&) returns a
random value derived from Random(), that's all. Any suggestion on how
to rethink the design then?