#include <boost/typeof/typeof.hpp>
 
template<typename ArgT1, typename ArgT2>
struct OpAdd
{
private:
        typedef BOOST_TYPEOF_TPL(*reinterpret_cast<ArgT1 *>(0) + *reinterpret_cast<ArgT2 *>(0)) return_type;
 
public:
        static return_type apply(ArgT1 a1, ArgT2 a2)
        {
                return a1 + a2;
        }
};
 
template<typename ExprT1, typename ExprT2, typename Op>
struct BinaryExpr
{
private:
        ExprT1 e1;
        ExprT2 e2;
 
public:
        BinaryExpr(ExprT1 e1, ExprT2 e2) : e1(e1), e2(e2)
        {
        }
 
        float /*XXX*/ eval() const
        {
                return Op::apply(this->e1.eval(), this->e2.eval());
        }
};
 
template<typename C>
struct ConstantExpr
{
private:
        C c;
 
public:
        ConstantExpr(C c) : c(c)
        {
        }
 
        C eval() const
        {
                return this->c;
        }
};
 
#include <iostream>
 
int main(void)
{
00401000 51               push        ecx  
        BinaryExpr
        <
                ConstantExpr<float>,
                ConstantExpr<float>,
                OpAdd
                <
                        float,
                        float
                >
        >
        expr
        (
                ConstantExpr<float>(0.0f),
                ConstantExpr<float>(0.0f)
        );
00401001 0F 57 C0         xorps       xmm0,xmm0 
00401004 F3 0F 11 04 24   movss       dword ptr [esp],xmm0 
 
        std::cout << expr.eval();
00401009 8B 04 24         mov         eax,dword ptr [esp] 
0040100C 51               push        ecx  
0040100D 8B 0D 38 20 40 00 mov         ecx,dword ptr [__imp_std::cout (402038h)] 
00401013 89 44 24 04      mov         dword ptr [esp+4],eax 
00401017 F3 0F 58 44 24 04 addss       xmm0,dword ptr [esp+4] 
0040101D F3 0F 11 04 24   movss       dword ptr [esp],xmm0 
00401022 FF 15 40 20 40 00 call        dword ptr [__imp_std::basic_ostream<char,std::char_traits<char> >::operator<< (402040h)] 
        std::cin.get();
00401028 8B 0D 44 20 40 00 mov         ecx,dword ptr [__imp_std::cin (402044h)] 
0040102E FF 15 3C 20 40 00 call        dword ptr [__imp_std::basic_istream<char,std::char_traits<char> >::get (40203Ch)] 
}
00401034 33 C0            xor         eax,eax 
00401036 59               pop         ecx  
00401037 C3               ret