如何让可变参数类模板的函数同时绑定左值与右值？

要让类模板的构造函数同时支持左值和右值，且保证参数类型与类模板参数包完全匹配，可以通过C++20的requires子句或外部定义的concept实现，以下是具体方案：

核心思路 #

使用**转发引用（Forwarding Reference）Args&&...**同时接收左值和右值，再通过编译期约束确保每个参数去掉引用后的类型与类模板的C...参数包对应位置的类型一致。这样既保留了值类别（左值/右值）以支持拷贝/移动语义，又严格限制了参数类型。

方案1：直接在构造函数上使用requires子句 #

无需额外定义concept，直接通过折叠表达式完成类型校验：

#include <concepts>
#include <utility>
#include <tuple>

template<class ...C>
class Graph {
private:
    std::tuple<C...> contexts_; // 示例：用tuple存储上下文，可根据需求替换

public:
    // 替代原有的左值/右值专用构造函数
    template <typename... Args>
    requires (std::same_as<std::remove_reference_t<Args>, C> && ...)
    Graph(Args&&... contexts) 
        : contexts_(std::forward<Args>(contexts)...) {}

    // 成员函数也可复用同样的约束逻辑
    template <typename... Args>
    requires (std::same_as<std::remove_reference_t<Args>, C> && ...)
    void update_contexts(Args&&... contexts) {
        contexts_ = std::make_tuple(std::forward<Args>(contexts)...);
    }
};

方案2：外部定义可复用的concept #

如果多个成员函数需要相同的类型约束，可定义外部concept来简化代码：

#include <concepts>
#include <utility>
#include <tuple>

// 定义外部concept：校验每个Args去掉引用后与Cs对应类型一致
template <typename... Args, typename... Cs>
concept MatchesGraphContexts = (std::same_as<std::remove_reference_t<Args>, Cs> && ...);

template<class ...C>
class Graph {
private:
    std::tuple<C...> contexts_;

public:
    template <typename... Args>
    requires MatchesGraphContexts<Args..., C...>
    Graph(Args&&... contexts) 
        : contexts_(std::forward<Args>(contexts)...) {}

    template <typename... Args>
    requires MatchesGraphContexts<Args..., C...>
    void update_contexts(Args&&... contexts) {
        contexts_ = std::make_tuple(std::forward<Args>(contexts)...);
    }
};

代码说明 #

1. 转发引用与std::forward：Args&&...会根据传入参数的左/右值特性推导为对应引用类型，std::forward则保留该特性，实现左值拷贝、右值移动的高效语义。
2. 类型约束：std::same_as<std::remove_reference_t<Args>, C> && ...是折叠表达式，确保每个Args去掉引用后的类型与C...中对应位置的类型完全匹配。
3. 替代原有构造函数：此构造函数可完全替代原有的左值专用Graph(C&...)和右值专用Graph(C&&...)，避免代码冗余。

测试示例 #

int main() {
    int a = 10;
    double b = 3.14;

    // 左值初始化
    Graph<int, double> g1(a, b);
    // 右值初始化
    Graph<int, double> g2(20, 6.28);
    // 混合左值+右值
    Graph<int, double> g3(a, 9.42);

    // 以下代码会触发编译错误（类型不匹配），符合预期
    // Graph<int, double> g4("invalid", b);
    return 0;
}

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