无法将std::array片段作为模板引用类型参数传递的问题问询

核心思路 #

你之前的报错是因为局部静态引用变量不满足C++非类型引用模板参数的要求——这类参数必须直接指向具有静态存储期、带链接性的实体（比如你定义的全局数组本身）。我们不需要额外定义代理引用，直接把全局数组、片段偏移量、片段长度都作为模板参数传入，即可实现零额外存储的视图对象。

实现代码 #

使用C++20及以上标准的std::span实现（标准合规无UB，替代你之前不安全的reinterpret_cast转换）：

#include <array>
#include <span>
#include <iostream>

// 全局存储的连续数组
std::array<int, 64> g_ints;
std::array<char, 64> g_chars;

// 通用视图模板：零成员变量，无额外存储开销
template<
    auto& IntArr,
    auto& CharArr,
    size_t IntOffset,
    size_t IntLen,
    size_t CharOffset,
    size_t CharLen
>
struct ObjectView {
    constexpr std::span<int, IntLen> GetInts() const noexcept {
        return std::span<int, IntLen>(&IntArr[IntOffset], IntLen);
    }

    constexpr std::span<char, CharLen> GetChars() const noexcept {
        return std::span<char, CharLen>(&CharArr[CharOffset], CharLen);
    }
};

// 自定义不同对象对应的数组片段
using FirstObj = ObjectView<g_ints, g_chars, 0, 32, 0, 32>; // 前32个int、前32个char
using SecondObj = ObjectView<g_ints, g_chars, 32, 32, 32, 32>; // 后32个int、后32个char
using CustomObj = ObjectView<g_ints, g_chars, 16, 8, 40, 16>; // 自定义长度的片段

int main() {
    FirstObj obj1;
    SecondObj obj2;
    CustomObj obj3;

    // 空类大小仅为1字节，没有存储任何指针
    std::cout << "视图对象大小：" << sizeof(obj1) << std::endl;

    // 正常操作数组片段
    obj1.GetInts()[0] = 100;
    obj2.GetInts()[0] = 200;
    std::cout << g_ints[0] << std::endl; // 输出100
    std::cout << g_ints[32] << std::endl; // 输出200

    // 全局char数组完全连续，可直接批量遍历无需跳过其他数据
    for (char c : g_chars) {
        // 统一处理所有字符数据
    }

    return 0;
}

方案优势 #

1. 完全满足你的需求：同类数组全局连续存储，可单独批量遍历；每个对象对应的片段长度可自定义，编译期配置即可。
2. 零额外存储开销：视图对象没有任何成员变量，所有地址计算都在编译期完成，运行时无额外性能损耗。
3. 标准合规：使用std::span替代不安全的指针转换，避免未定义行为。

内容的提问来源于stack exchange，提问作者Ryoku