c++ - 在模板参数中使用静态 constexpr 成员数组作为指针

Question

下面的 main.cpp 说明了这个问题:

#include <type_traits>

template <class T, std::size_t N>
struct Array
{
    T data_[N];
};

template <const std::size_t* EltArray, std::size_t EltCount>
struct Foo
{

};

int main()
{
    // SIDE NOTE if arr is not declared static: the address of 'arr' is not a valid template argument
    // because it does not have static storage duration
    static constexpr std::size_t arr[3] = {1, 2, 3};
    Foo<arr, 3> foo;// WORKING

    static constexpr Array<std::size_t, 3> arr2 = {1, 2, 3};
    static constexpr const std::size_t* arr2_ptr = arr2.data_;
    Foo<arr2_ptr, 3> foo2;// ERROR:
    // 'arr2_ptr' is not a valid template argument of type 'const size_t*'
    // {aka 'const long long unsigned int*'} because
    // 'arr2.Array<long long unsigned int, 3>::data_' is not a variable

    static constexpr const std::size_t* test = std::integral_constant<const std::size_t*, arr2_ptr>{};// ERROR:
    // 'arr2_ptr' is not a valid template argument of type 'const long long unsigned int*' because
    // 'arr2.Array<long long unsigned int, 3>::data_' is not a variable

    return 0;
}

我不明白为什么 arr2.data_ 不能像 arr 一样重用。谁能解释一下？

我正在使用 gcc:mingw-w64\x86_64-8.1.0-posix-sjlj-rt_v6-rev0

g++.exe -Wall -std=c++2a -fconcepts -O2

Answer 1

我想分享我刚刚在 open-std 中找到的答案和一个兼容的解决方案。

我们都知道我们不能将任何变量作为非类型传递。

你知道我们可以传递一个常量引用给我们想要的任何东西吗？!

所以解决方案是:

#include <array>

// When passing std::array<std::size_t, EltCount> (by value), i get the error:
// 'struct std::array<long long unsigned int, EltCount>' is not a valid type for a template non-type parameter

template <std::size_t EltCount, const std::array<std::size_t, EltCount>& Elts>
struct Foo {};

static constexpr std::array<std::size_t, 3> arr = {1, 2, 3};

int main()
{
    Foo<3, arr> foo;// WORKING

    return 0;
}

初始问题的答案是:

N4296 的引述

14.3.2 模板非类型参数[temp.arg.nontype]

对于引用或指针类型的非类型模板参数，常量表达式的值不应引用(或对于指针类型，不应是地址):(1.1) — 一个子对象 (1.8)，

故事的寓意:我们可以通过引用而不是指针来做我们想做的事。