如何在编译时检测C++参数包中是否包含std::span类型？

1. 定义std::span类型检测特性 #

由于std::span是模板类，无法直接用std::is_same_v判断，需要自定义类型特性来匹配所有std::span的实例化类型：

#include <span>
#include <type_traits>

// 基础辅助模板
template<typename T>
struct is_std_span_helper : std::false_type {};

// 特化匹配std::span的所有实例
template<typename ElementType, std::size_t Extent>
struct is_std_span_helper<std::span<ElementType, Extent>> : std::true_type {};

// 处理带const/volatile/引用修饰的类型
template<typename T>
struct is_std_span : is_std_span_helper<std::remove_cvref_t<T>> {};

// 便捷变量模板
template<typename T>
constexpr bool is_std_span_v = is_std_span<T>::value;

2. 修改resolve_args函数添加span处理分支 #

将span的检测分支插入到现有逻辑中，注意要放在平凡类型检查之前（避免span被误判为平凡类型）：

template<typename... Args, std::size_t... Indices>
inline auto SomeClass::resolve_args(std::index_sequence<Indices...>) const
{
    std::tuple<std::decay_t<Args>...> retval;
    size_t i = 0;
    size_t f = 0;
    ([&] {
        if constexpr (std::is_integral_v<Args>) {
            std::get<Indices>(retval) = sysarg<Args>(i++);
        }
        else if constexpr (std::is_floating_point_v<Args>)
            std::get<Indices>(retval) = sysarg<Args>(f++);
        else if constexpr (std::is_same_v<Args, std::basic_string_view<char>>) {
            std::get<Indices>(retval) = sysarg<Args>(i); i+= 2;
        }
        else if constexpr (is_stdstring<Args>::value)
            std::get<Indices>(retval) = sysarg<Args>(i++);
        else if constexpr (is_std_span_v<Args>) { // 新增std::span检测分支
            // 此处填入你的span专属处理逻辑
            std::get<Indices>(retval) = sysarg<Args>(i++);
        }
        else if constexpr (std::is_standard_layout_v<std::remove_cvref_t<Args>> && std::is_trivial_v<std::remove_cvref_t<Args>>)
            std::get<Indices>(retval) = sysarg<Args>(i++);
        else
            static_assert(always_false<Args>, "Unknown type");
    }(), ...);
    return retval;
}

关键说明 #

• 类型特性is_std_span_v会自动剥离参数的const、volatile、引用修饰符，确保能正确识别所有形式的std::span类型。
• 将span分支放在平凡类型检查之前，是因为std::span本身满足标准布局和平凡类型的要求，如果放在后面会被优先匹配到平凡类型分支，无法执行专属逻辑。

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