コンパイルエラー - テンプレート、enable_if

Question

このコードがコンパイルされない理由を教えてください。

template <typename T, T minAge, T maxAge, bool isarmed, 
typename = std::enable_if_t<std::is_arithmetic<T>::value>> 
class Citizen { 
public: 

    Citizen(T health, T age); 
    Citizen(T health, T age, T attackPower); 
    T getHealth() const { return _health; }; 
    T getAge() const { return _age; }; 
    T getAttackPower(); 
    void takeDamage(T damage); 

private: 
    T _health; 
    T _age; 
    T _attackPower; 
}; 

template <typename T, T minAge, T maxAge, bool isarmed> 
Citizen<T, minAge, maxAge, isarmed>::Citizen(T health, T age): 
     _health (health), 
     _age (age) 
{ 
    static_assert(minAge <= maxAge, "Wrong age"); 
    assert(minAge <= this->_age && this->_age <= maxAge); 
} 

何が欠けていますか？

error: invalid use of incomplete type ‘class Citizen<T, minAge, maxAge, isarmed>’ 

Answer 1

あなたは5つのテンプレートパラメータを取ってクラステンプレートであることをCitizenを宣言します。その後、

template <typename T, T, T, bool, typename > 
class Citizen { ... }; 

のみ4テンプレートパラメータを使用してコンストラクタを定義しよう：

template <typename T, T minAge, T maxAge, bool isarmed> 
Citizen<T, minAge, maxAge, isarmed>::Citizen(T health, T age) 

なしありそのような以前に宣言された4テンプレートパラメータCitizen、したがってエラー。それでも最後のテンプレートパラメータが必要です。あなたは（それ自体はあまり意味がありません）他のいくつかの非算術Citizenクラステンプレートを持っていない限りSFINAEがここにあまり意味がありません

---

注意。算術タイプのの場合はstatic_assertとしてください。