Derleme zamanı bağımsız değişkenine bağlı olarak kullanılabilir bir yöntem oluşturma

Question

Şablon bağımsız değişkenine bağlı olarak bir yöntemi derlemek veya engellemek için bir yol var mı? 2, 3 veya daha fazla boyutu işleyebilen bir Koordinat sınıfı oluşturmaya çalışıyorum. Ben x(), y() ve z() olarak acces yöntemleri sağlamak istiyoruz, ama ben, ben için z() kullanımını önlemek için bir static_assert kullanmak boyut (Aşağıda da görebileceğiniz gibi) Şimdilik 3. daha büyük olması halinde erişilebilir olmasını z() yöntemi istiyorum Bu

Coord<int, 2> ci2(0,0); 
ci2.z() = 3; // shouldn't compile 

static_assert kullanılmadan derlemek kalmaması boyutun 2.

template<typename DataType, int Dimension> 
class Coord 
{ 
private: 
    std::array<DataType, Dimension> _data; 

public: 

    // how to achieve some kind of compile_if() 
    DataType& z() 
    { 
     static_assert(Dimension >= 3, "Trying to access an undefined dimension."); 
     return _data[2]; 
    } 
}; 

koordinatları ne yapmak istiyorsunuz, boyutun 2 için z() ait gizlemek varlığıdır. std :: enable_if etrafında pek çok soru gördüm, ama anladığım kadarıyla belirli aşırı yüklenmeleri etkinleştirmek veya devre dışı bırakmak için kullanmak.

Soru şudur: Bir derleme zamanı bağımsız değişkenine bağlı olarak bir yöntem hazırlamanın veya yapmanın bir yolu var mı?

Answer 1

Örneğin, şablon olarak işlev ilan edebilir ve bir kenara bu

template<typename DataType, int Dimension> 
class Coord 
{ 
private: 
    std::array<DataType, Dimension> _data; 

public: 
    template <class T = DataType> 
    typename std::enable_if<Dimension >= 3, T&>::type 
    z() 
    { 
     return _data[2]; 
    } 
}; 

Answer 2

Bunun için uzmanlık kullanabilirsiniz:

template<typename DataType, int Dimension, bool HaveZ = (Dimension >= 3)> 
class Coord; 

template<typename DataType, int Dimension> 
class Coord<DataType, Dimension, false> 
{ 
private: 
    std::array<DataType, Dimension> _data; 

public: 
}; 

template<typename DataType, int Dimension> 
class Coord<DataType, Dimension, true> 
{ 
private: 
    std::array<DataType, Dimension> _data; 

public: 

    DataType& z() 
    { 
     return _data[2]; 
    } 
}; 

Sen kod tekrarını önlemek için ayrı bir yapı içine dışarı paylaşılan üyeleri kaldırabilir.

Answer 3

Sen uzmanlaşma uzmanlaşmaya dayalı bu yaklaşımı kullanabilirsiniz:

#include <array> 

template<typename DataType, int Dimension, bool = (Dimension < 3)> 
class Coord 
{ 
protected: 
    std::array<DataType, Dimension> _data; 
}; 

template<typename DataType, int Dimension> 
class Coord<DataType, Dimension, false> : public Coord<DataType, Dimension, true> 
{ 
public: 
    DataType& z() 
    { 
     return this->_data[2]; 
    } 
}; 

int main() 
{ 
    Coord<double, 3> c3; 
    c3.z(); // OK 

    Coord<double, 2> c2; 
    c2.z(); // ERROR! 
}