整数模板参数指定参数个数的类方法

Question

不完全确定如何标注此问题或搜索什么，如果这与另一个问题相同，请关闭并重定向到相应的问题。

假设

template<typename Type, int Size> class vector 
{ 
    Type data[Size]; 
} 

是否有可能更换一个构造函数，采用的参数大小数模板特喜欢这个

template<typename Type> class vector3<Type,3> 
{ 
    Type data[3]; 
    public: 
    vector3(Type, Type, Type); 
} 

的东西在非专业模板类？像一个“可变参数构造函数”，它产生一个构造函数，其大小数量为Type类型的参数。

涉及C++ 0x功能的解决方案很好。

Answer 1

在C++ 0x你有template typedef终于可用！

免责声明：什么也没有编...

维基百科的文章：

template< typename second> 
using TypedefName = SomeType<OtherType, second, 5>; 

而你的情况会产生

template <class Type> 
using vector3 = vector<Type, 3>; 

我不能告诉你如何很多我渴望这个;）

但它不能解决参数问题。如前所述，你可以尝试在这里使用可变参数模板，但是我不确定在这种情况下它们的应用。正常的使用是递归方法，你需要在中间放一个static_assert。

编辑考虑到意见。

template <class Type, size_t Size> 
class vector 
{ 
public: 
    template <class... Args> 
    vector(Args... args): data({args...}) 
    { 
    // Necessary only if you wish to ensure that the exact number of args 
    // is passed, otherwise there could be less than requested 
    BOOST_MPL_ASSERT_RELATION(sizeof...(Args), ==, Size); 
    } 

private: 
    T data[Size]; 
}; 

已有的另一种可能性是将预处理器生成与boost::enable_if相结合。

template <class Type, size_t Size> 
class vector 
{ 
public: 
    vector(Type a0, typename boost::enable_if_c< Size == 1 >::type* = 0); 
    vector(Type a0, Type a1, typename boost::enable_if_c< Size == 2 >::type* = 0); 
    // ... 
}; 

使用Boost.Preprocessor进行生成使得这更容易。

BOOST_PP_REPEAT(MAX_COUNT, CONSTRUCTOR_MACRO, ~); 

// where MAX_COUNT is defined to the maximum size you wish 
// and CONSTRUCTOR_MACRO actually generates the constructor 

#define CONSTRUCTOR_MACRO(z, n, data)        \ 
    vector(               \ 
    BOOST_PP_ENUM_PARAMS(n, Type a),        \ 
    typename boost::enable_if_c< Size == n >::type* = 0   \ 
); 

构造函数的实现留给读者练习。这是另一个电话BOOST_PP_REPEAT。正如你所看到的，它很快变得丑陋，所以如果你可以使用可变模板版本，你会变得更好。

Answer 2

是否有可能取代一个构造函数，采用的参数大小数模板特喜欢这个

不是没有一吨的重复，机械的代码，并且最大尺寸将由数量限制你重复自己的时间。例如：boost::tuple（它可能正是你想要的功能）。

在C++ 0x这将不会是一个问题多亏了variadic templates。

Answer 3

有进一步的解决问题的方法：在初始化列表中

template<typename T, unsigned int N> 
struct vector { 
    T data[N]; 

    template<typename... Args> 
    vector(Args... args) : data({args...}) { } 
}; 

但是参数的个数仅需要小于或等于比N使用可变参数模板参数和它们的类型只需要可以转换成T。

Answer 4

首先您应该考虑使用std::array。它不符合你的所有要求，但它足够接近，如果差异无关紧要，你可以节省很多工作。问题是这样的廉价版本将具有构造接受2个参数，以及3

template< typename T> 
using Vector3 = std::array<T,3>; 

Vector3 v1{1,2,3}; 
Vector3 v2{1,2}; // it sounds like you want to disallow this case. 

否则，你可以创建一个充当很像std::array，除了用更挑剔的构造函数的自定义类。

template<typename T, std::size_t SIZE> 
class Vector 
{ 
public: 
    template< typename ... Args > 
    Vector(Args ... args) : 
     data({args...}) 
    { 
     static_assert(sizeof...(Args) == SIZE, 
        "Incorrect number of arguments passed to Vector constructor"); 
    } 
    /* lots of extra code here to add std::array -like methods */ 
private: 
    // could use std::array here as well. 
    T data[3]; 
}; 

template< typename T > 
using Vector3 = Vector<T,3>; 

Vector3 v1(1,2,3); 
Vector3 v2(1,2); // error at compile time.