扩展std::span实现BoundsSpan时模板推导与变长数组构造问题

问题1：模板实参推导失效 #

原因 #

C++的类模板实参推导（CTAD）不会自动继承基类的推导指引。标准库为std::span提供了全套推导指引，可以根据构造参数自动推导模板参数，但你自定义的BoundsSpan没有对应推导指引，因此编译器无法自动推导模板实参，只能显式指定。

修复方案 #

给BoundsSpan添加和std::span对齐的推导指引即可：

// 加入到BoundsSpan类定义的外部
template <typename It, typename EndOrSize>
BoundsSpan(It, EndOrSize) -> BoundsSpan<std::remove_pointer_t<It>>;

template <typename T, std::size_t N>
BoundsSpan(T (&)[N]) -> BoundsSpan<T, N>;

template <typename T, std::size_t N>
BoundsSpan(std::array<T, N>&) -> BoundsSpan<T, N>;

template <typename T, std::size_t N>
BoundsSpan(const std::array<T, N>&) -> BoundsSpan<T, N>;

template <typename R>
BoundsSpan(R&&) -> BoundsSpan<typename std::remove_reference_t<R>::value_type>;

添加后你的测试代码BoundsSpan span(argv, argc);就可以正常编译，自动推导为BoundsSpan<char*>类型。

问题2：可变长度数组（VLA）编译报错 #

原因 #

你使用的运行时长度C风格数组是C99标准的可变长度数组（VLA）特性，不属于标准C++语法，仅为GCC、Clang等编译器提供的非标准扩展。C++要求模板参数必须是编译期可确定的类型，而VLA的长度是运行时确定的，属于“可变修改类型”，无法作为模板参数传递，因此触发报错。

修复方案 #

• 优先改用标准C动态容器std::vector<int>代替VLA，完全符合C标准，也能正常适配BoundsSpan。
• 如果必须使用VLA编译器扩展，可以显式将数组转成指针再构造，避免把VLA的数组类型传递给模板：

  void func(int len) {
      int arr[len];
      BoundsSpan<int> span(&arr[0], len); // 显式传指针+长度，规避VLA类型推导
  }
  

修改后完整可运行代码 #

#include <span>
#include <string>
#include <utility>
#include <stdexcept>
#include <vector>

template <typename ... TopArgs> 
class BoundsSpan : private std::span<TopArgs...> {
public:
    // 透传std::span的常用接口，避免只有operator[]可用
    using std::span<TopArgs...>::size;
    using std::span<TopArgs...>::data;
    using std::span<TopArgs...>::begin;
    using std::span<TopArgs...>::end;

    typename std::span<TopArgs...>::reference operator[](std::size_t idx) const {
        if (idx >= this->size()) [[unlikely]] {
            throw std::out_of_range(std::string("span out of bounds access detected - wanted index [" + std::to_string(idx) + "] but size is " +
                                                std::to_string(this->size())));
        }
        return std::span<TopArgs...>::operator[](idx);
    }
    template<typename ... Args>
    BoundsSpan(Args&& ... args) : std::span<TopArgs...>(std::forward<Args>(args) ...) {}
};

// 推导指引实现
template <typename It, typename EndOrSize>
BoundsSpan(It, EndOrSize) -> BoundsSpan<std::remove_pointer_t<It>>;

template <typename T, std::size_t N>
BoundsSpan(T (&)[N]) -> BoundsSpan<T, N>;

template <typename T, std::size_t N>
BoundsSpan(std::array<T, N>&) -> BoundsSpan<T, N>;

template <typename T, std::size_t N>
BoundsSpan(const std::array<T, N>&) -> BoundsSpan<T, N>;

template <typename R>
BoundsSpan(R&&) -> BoundsSpan<typename std::remove_reference_t<R>::value_type>;

// 测试代码
int main(int argc, char *argv[]) {
    BoundsSpan span(argv, argc); // 自动推导正常
    std::vector<int> vec = {1,2,3};
    BoundsSpan vec_span(vec); // 从vector构造也正常
}

void func(int len) {
    int arr[len];
    BoundsSpan<int> span(&arr[0], len); // VLA场景正常编译
}

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