#error

#define RIGHT
 
bool approx :: operator> (const approx& obj) const //перегруженный оператор сравнения объектов >
{
    if ( (this -> type != true) || (obj.type != true) )
        #undef RIGHT
    
    #ifndef RIGHT
    #error "Types of the values are different"
    #endif
 
    return (this -> value) > obj.value;
}

    if ( (this -> type != true) || (obj.type != true) )
        #undef RIGHT
    
    #ifndef RIGHT
    #error "Types of the values are different"
    #endif
 
    return (this -> value) > obj.value;

#if ...
#error ....
#endif

#if !defined (RIGHT)
    #error "Types of the values are different"
    #endif

bool approx :: operator> (const approx& obj) const //перегруженный оператор сравнения объектов >
{
    if ( (this -> type != true) || (obj.type != true) )
        throw "Types of the values are different";
    
    return (this -> value) > obj.value;
}

#include <iostream>
 
template<bool isStrict>
struct data_type
{
    int foo;
    
    data_type(int foo) : foo(foo) {}
};
 
bool operator < (const data_type<true>& a, const data_type<true>& b)
{
    return a.foo < b.foo;
}
 
typedef data_type<true> strict_data_type;
typedef data_type<false> non_strict_data_type;
 
int main()
{
    strict_data_type a(10), b(20);
    non_strict_data_type c(10), d(20);
    
    std::cout << (a < b);
    std::cout << (c < d); //error
   
   return 0;
}