C++17下检查所有可变参数是否可平凡复制的正确语法求助

核心问题修正 #

你原来的static_assert代码问题在于类型推导写法和模板参数匹配错误，下面给出两种符合C++17标准的正确实现：

方式1：使用std::conjunction_v #

利用std::conjunction_v组合多个类型检查结果，直接通过容器的value_type判断元素是否可平凡复制，写法直观：

static_assert(std::conjunction_v<std::is_trivially_copyable<typename std::remove_cvref_t<Args>::value_type>...>,
              "所有容器的元素必须是可平凡复制类型");

方式2：使用折叠表达式 #

C++17支持的折叠表达式可直接通过&&逻辑与组合多个bool检查结果，代码更简洁：

static_assert((std::is_trivially_copyable_v<typename std::remove_cvref_t<Args>::value_type> && ...),
              "所有容器的元素必须是可平凡复制类型");

完整示例代码 #

下面是包含两种检查方式、可选容器接口强制检查的完整模板函数实现：

#include <type_traits>
#include <vector>
#include <array>
#include <algorithm>

// 辅助模板：检查类型是否有size()成员返回size_t
template<typename T, typename = void>
struct has_size : std::false_type {};

template<typename T>
struct has_size<T, std::void_t<decltype(std::declval<const T&>().size())>>
    : std::is_same<decltype(std::declval<const T&>().size()), size_t> {};

template<typename T>
inline constexpr bool has_size_v = has_size<T>::value;

// 辅助模板：检查类型是否有data()成员返回指针
template<typename T, typename = void>
struct has_data : std::false_type {};

template<typename T>
struct has_data<T, std::void_t<decltype(std::declval<const T&>().data())>>
    : std::is_pointer<decltype(std::declval<const T&>().data())> {};

template<typename T>
inline constexpr bool has_data_v = has_data<T>::value;

// 辅助模板：检查类型是否定义了value_type
template<typename T, typename = void>
struct has_value_type : std::false_type {};

template<typename T>
struct has_value_type<T, std::void_t<typename T::value_type>> : std::true_type {};

template<typename T>
inline constexpr bool has_value_type_v = has_value_type<T>::value;

template<typename... Args>
void copy_containers_data(const Args&... containers)
{
    // 选择其中一种检查方式即可
    // 方式1：std::conjunction_v
    static_assert(std::conjunction_v<std::is_trivially_copyable<typename std::remove_cvref_t<Args>::value_type>...>,
                  "所有容器的元素必须是可平凡复制类型");

    // 方式2：折叠表达式
    // static_assert((std::is_trivially_copyable_v<typename std::remove_cvref_t<Args>::value_type> && ...),
    //               "所有容器的元素必须是可平凡复制类型");

    // 可选：强制检查容器具备size()、data()和value_type
    static_assert((has_size_v<std::remove_cvref_t<Args>> && ...),
                  "所有容器必须有返回size_t的size()成员");
    static_assert((has_data_v<std::remove_cvref_t<Args>> && ...),
                  "所有容器必须有返回指针的data()成员");
    static_assert((has_value_type_v<std::remove_cvref_t<Args>> && ...),
                  "所有容器必须定义value_type成员");

    // 实际复制逻辑示例
    const size_t total_size = (containers.size() + ...);
    using CommonType = std::common_type_t<typename std::remove_cvref_t<Args>::value_type...>;
    auto buffer = new CommonType[total_size];
    
    size_t offset = 0;
    ((std::copy(containers.data(), containers.data() + containers.size(), buffer + offset), offset += containers.size()), ...);

    // 后续处理buffer（示例中直接释放，实际根据需求使用）
    delete[] buffer;
}

int main()
{
    std::vector<int> vec1{1, 2, 3};
    std::array<double, 2> arr{4.5, 6.7};
    copy_containers_data(vec1, arr); // 编译通过：int和double都是可平凡复制类型

    // std::vector<std::string> vec2{"a", "b"};
    // copy_containers_data(vec1, vec2); // 编译失败：std::string不是可平凡复制类型
}

关键细节说明 #

1. std::remove_cvref_t：用于去除参数的const、volatile和引用修饰，确保获取容器本身的类型。
2. value_type的优势：直接使用容器的value_type比通过data()推导更可靠，避免data()返回const指针时的额外处理。
3. 可选检查的必要性：虽然容器不满足size()/data()时编译会失败，但自定义static_assert可以给出更清晰的错误提示，帮助快速定位问题。

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