用constexpr初始化一个数组?

我想知道是否可以使用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的所有值。


没有看到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];
};

在任何情况下, metaFunctionconstexpr属性实际上都是编译所必需的。 如果删除了constexpr ,那么/* MyClass Version 1*/对于C ++ 03也是很好的。

链接地址: http://www.djcxy.com/p/10749.html

上一篇: Initializing an array with a constexpr?

下一篇: How to generate "empty" aggregate results in SQL