7

我想知道是否可以使用 constexpr 函数（使用 C++ 2011）初始化整个数组。在这里，我有一些东西可以说明我想做的事情：

template<unsigned int DIM> const unsigned int MyClass<DIM>::_myVar[2][3] = {
{metaFunction(0, 0, DIM), metaFunction(0, 1, DIM), metaFunction(0, 2, DIM)}, 
{metaFunction(1, 0, DIM), metaFunction(1, 1, DIM), metaFunction(1, 2, DIM)}
};

template<unsigned int DIM> inline constexpr unsigned int MyClass<DIM>::metaFunction(const unsigned int k, const unsigned int n, const unsigned int dim)
{
    return (((n < dim) && (k < n)) ? (1<<(n-k)) : (0));
}

有没有办法用 constexpr 初始化 myVar 而无需手动填充数组。如果它存在，给定示例的语法是什么？

为了稍微精确一点，我寻找一种方法来使用单个函数调用来填充 myVar 的所有值。

4

1 回答 1

3

没有看到MyClass问题的定义不是很清楚。无论如何，我相信您希望在MyClass::_myVar没有代码的情况下进行初始化以迭代地用值填充它MyClass::metaFunction()。

您的代码表明这MyClass::_myVar是一个静态类成员。在这种情况下，您对成员的初始化是非常好的 C++11。以下程序说明（GCC 4.6.3）：

#include <iostream>

/* MyClass Version 1 */
template<unsigned int DIM>
struct MyClass
{
    static constexpr unsigned int metaFunction(
        const unsigned int k, 
        const unsigned int n,
        const unsigned int dim);

    static const unsigned int _myVar[2][3]; 
};

template<unsigned int DIM> inline constexpr 
unsigned int MyClass<DIM>::metaFunction(
    const unsigned int k, 
    const unsigned int n,
    const unsigned int dim)
{
    return (((n < dim) && (k < n)) ? (1<<(n-k)) : (0));
}

template<unsigned int DIM> const unsigned int MyClass<DIM>::_myVar[2][3] = {
    {   metaFunction(0, 0, DIM),
        metaFunction(0, 1, DIM),
        metaFunction(0, 2, DIM)
    }, 
    {   metaFunction(1, 0, DIM),
        metaFunction(1, 1, DIM),
        metaFunction(1, 2, DIM)
    }
};

template<unsigned int DIM> inline constexpr 
unsigned int MyClass<DIM>::metaFunction(
    const unsigned int k, 
    const unsigned int n,
    const unsigned int dim)
{
    return (((n < dim) && (k < n)) ? (1<<(n-k)) : (0));
}

using namespace std;

int main(void)
{
    MyClass<3> mine;
    for (int i = 0; i < 2; ++i) {
        for (int j = 0; j < 3; ++j) {
            cout << mine._myVar[i][j] << endl;
        }
    }
    return 0;
}

这使我倾向于认为它MyClass::_myVar不是静态成员 - 尽管我不确定为什么这个整数常量数组不是静态的。如果是这种情况，那么您可以使用C++11 的统一初始化规定在默认构造函数中初始化该成员：

/* MyClass Version 2 */
template<unsigned int DIM>
struct MyClass
{
    MyClass()
    :   _myVar{
            {   MyClass::metaFunction(0, 0, DIM),
                MyClass::metaFunction(0, 1, DIM),
                MyClass::metaFunction(0, 2, DIM)
            }, 
            {   MyClass::metaFunction(1, 0, DIM),
                MyClass::metaFunction(1, 1, DIM),
                MyClass::metaFunction(1, 2, DIM)
            }
    }{}

    static constexpr unsigned int metaFunction(
        const unsigned int k, 
        const unsigned int n,
        const unsigned int dim);

    const unsigned int _myVar[2][3];
};

在这两种情况下，编译都不需要constexpr属性。metaFunction如果constexpr被删除，那么/* MyClass Version 1*/对 C++03 也有好处。

于 2012-05-11T07:59:42.677 回答