C++：テンプレート

Question

から2つの同じ型名私はC++にかなり新しいだと私はこのような何かを構築するために全力をしようとしていると海峡構築：

enum class Unit { km, m, cm }; 


template<int v, Unit u> 
struct Measure { 
    static const int value = v; 
    static const Unit unit = u; 
}; 


template<typename Measure, typename Measure> 
struct Measures_same { 
    static const bool value(const Measure m1, const Measure m2) { 
     return m1.unit == m2.unit; 
    } 
}; 

ここでの私の目標は、私は私の形質を呼び出すことができるということです次のようになります。

Measures_same<Measure<1, Unit::km>,Measure<1, Unit::cm>>::value 

falseを返します。 明らかに、私はテンプレートで同じtypenameを2回（テンプレート）定義することは許されていませんが、他にどのようにすればいいのかは分かりません。私がそれらの1つを削除すると、引数の量はそれ以上一致しません。

どうすればよいですか？

ありがとうございます！

Answer 1

1. Measure_sameは、2つの異なるテンプレートパラメータを使用する必要があります。型が同じ場合は、戻り値valueは常にtrueになります。用途：

   template<typename Measure1, typename Measure2> 
   struct Measures_same { ... }; 
   

2. あなたはMeasure_same::valueに任意の入力を必要としません。単純に使用します。

   template<typename Measure1, typename Measure2> 
   struct Measures_same { 
       static const bool value() { 
        return Measure1::unit == Measure2::unit; 
       } 
   }; 
   

3. がMeasure_sameからvalueを取得するには、関数呼び出しを使用してください。用途：たとえば

   Measures_same<Measure<1, Unit::km>,Measure<1, Unit::cm>>::value() 
   

   ：

   template<class...> 
   struct Measures_same : std::false_type{}; 
   

   ：あなたはテンプレートの特殊化とtype_traits

   ベースのテンプレート（常にfalse）からいくつかの助けを使用することができます

   std::cout << std::boolalpha << Measures_same<Measure<1, Unit::km>,Measure<1, Unit::cm>>::value() << std::endl; 
   

Answer 2

2つのスペシャライゼーション同じUnit引数を持つMeasuresクラス：ちょうど `テンプレート `を行うと `M1`とを`使用

static_assert(Measures_same<Measure<1, Unit::km>, Measure<2, Unit::km>>::value, "Fail"); 
static_assert(!Measures_same<Measure<1, Unit::m>, Measure<1, Unit::km>>::value, "Fail2"); 

Demo