C++テンプレート：戻り値の型は、入力タイプによって決定しながら、過負荷演算子+は、

Question

は、私は以下のクラスがあるとし

template<unsigned char B, unsigned char F> 
class Foo 
{ 
    ..... 
} 

私は演算子+そうに過負荷をかけることを願っている2つの入力がである場合に

Foo<B1, F1> 

それぞれ

と

Foo<B2, F2>, 

、Iは、戻り値は

0の一種である希望

Foo<max(B1, B2), max(F1, F2)>. 

または

Foo<max(B1-F1, B2-F2)+max(F1, F2), max(F1, F2)>. 

ような何か任意のヒント？

Answer 1

をジャストオペレータ+戻り値の型に新しいタイプを計算し、比較のためにMPLを使用 また、あなたがそのために友人を必要としないでもないあなたのオペレータ+可変にする必要があります。簡単なクラスと

簡単な例：

今

#include <boost/mpl/max.hpp> 

template<unsigned char B, unsigned char F> 
class Foo 
{}; 

template< unsigned char B1, unsigned char F1 
     , unsigned char B2, unsigned char F2 
     > 
Foo< boost::mpl::max_<boost::mpl_::char_<B1>, boost::mpl_::char_<B2> >::value 
    , boost::mpl::max_<boost::mpl_::char_<F1>, boost::mpl_::char_<F2> >::value 
    > 
operator+(Foo<B1,F1> const& a, Foo<B2,F2> const& b) 
{ 
    Foo< boost::mpl::max_<boost::mpl_::char_<B1>, boost::mpl_::char_<B2> >::value 
    , boost::mpl::max_<boost::mpl_::char_<F1>, boost::mpl_::char_<F2> >::value 
    > that; 
    return that; 
} 

は、それが面倒であるかに気づきます。 また、これはpre_C++ 11自動で書き留めて少し複雑に+の戻り値の型を作る：この場合、通常のイディオムがUEにあるEDITたび

#include <boost/mpl/max.hpp> 

template<class B, class F> 
class Foo 
{}; 

template< class B1, class F1 
     , class B2, class F2 
     > 
Foo< typename boost::mpl::max_<B1, B2>::type 
    , typename boost::mpl::max_<F1, F2>::type 
    > 
operator+(Foo<B1,F1> const& a, Foo<B2,F2> const& b) 
{ 
    Foo< typename boost::mpl::max_<B1, B2>::type 
     , typename boost::mpl::max_<F1, F2>::type 
     > that; 
    return that; 
} 

Foo< boost::mpl::int_<4>, boost::mpl::int_<8> > x; 

可能代わりに生の値のMPL整数型を後押し。 もう一つの古典的なことは、これをプロトコルのresult_ofに続く関数オブジェクトにすることです。そのため、戻り値の型を不透明な方法で計算するのに便利なメタ関数があります。

Answer 2

私はこのようなものを探していると思います。

foo a,b,c; 
a = b + c; 

このため、 '='演算子もオーバーロードする必要があります。

enter code here 
    template <typename t,typename f> 
    foo& operator + (const foo& source) 
    { 
     //add the date members 
     return *this; 
    } 

をオーバーロードし、目的の操作を実行できるはずです。

Answer 3

おそらく、ブーストMPL [1]を使用することは可能だと思います。

[1] http://www.boost.org/doc/libs/1_49_0/libs/mpl/doc/index.html

Answer 4

これを試してみてください：かなりまっすぐ進む

#include <algorithm> 
#include <iostream> 

template <unsigned char A, unsigned char B> 
struct max { 
    enum { value = A>B ? A : B}; 
}; 

template <unsigned char B, unsigned char F> 
class Foo {}; 

template <unsigned char B, unsigned char F> 
std::ostream& 
operator<<(std::ostream& os, Foo<B, F>) { 
    return os << "Foo<" << (int)B << "," << (int)F << ">"; 
} 

template <unsigned char B1, unsigned char F1, 
      unsigned char B2, unsigned char F2> 
Foo<max<B1, B2>::value, max<F1, F2>::value> 
operator+(const Foo<B1, F1>&, const Foo<B2, F2>&) 
{ 
    return Foo<max<B1, B2>::value, max<F1, F2>::value>(); 
} 

int main() { 
    Foo<1,3> foo13; 
    Foo<0,4> foo04; 

    std::cout << foo13 << "\n"; 
    std::cout << foo04 << "\n"; 
    std::cout << foo13 + foo04 << "\n"; 
}