具有 n 个参数的模板专用构造函数

Template Specialized Constructor With n Arguments

本文关键字：专用 构造函数 参数 具有      更新时间：2023-10-16

我有一个用整数模板化的类（即：

template </*...*/, int a> /*...*/

）。 在我的课堂上，我想要一个完全接受"a"参数的构造函数。 我当然可以使它变频，但如果可能的话，我希望对长度进行编译时检查。 我也认为宏黑客可以工作，但我首先寻找内置的C++功能。

这在C++可能吗，如果是这样，怎么能做到？

处理相同类型的值序列是数组的用途。

您甚至不需要使用原始数组;使用 C++11，您可以使用 std::array 。

例如，像这样：

template< int a >
class MyClass
{
public:
    MyClass( std::array< int, a > const& args )
    {}
};

如果你的编译器没有提供std::array那么你可以很容易地定义一个相应的类，或者你可以只使用一个原始数组：

template< int a >
class MyClass
{
public:
    MyClass( int const (&args)[a] )
    {}
};

嗯，我希望我在那里正确放置&。出于某种我无法理解的原因，我总是忘记该语法。无论我用了多少次。

鉴于 OP 在评论中澄清了 （1） 他没有 C++11 和 （2） 他想要简单的声明语法，例如

MyClass<4> m(0,1,2,3);

一种可能性是使MyClass聚合可以通过 C++03 大括号初始值设定项初始化，即没有用户定义的构造函数：

#include <stddef.h>
typedef ptrdiff_t Size;
typedef Size Index;
template< Size a >
class MyClass
{
public:
    static Size const n = a;
    static Size size() { return n; }
    int elems_[n];
    int operator[]( Index const i ) const { return elems_[i]; }
    int& operator[]( Index const i ) { return elems_[i]; }
};
#include <iostream>
using namespace std;
int main()
{
    MyClass< 3 > x = {100, 200, 300};
    for( int i = 0;  i < x.size(); ++i )
    {
        wcout << x[i] << endl;
    }
}

如果此解决方案可以接受，那么它本质上是重新实现std::array。

相关文章：