为何无法向使用万能引用的模板类构造函数传递左值？

一、核心推导规则差异 #

普通模板函数里的T&&是万能引用：传入左值时，模板参数T会被推导为左值引用类型（如std::vector<int>&），此时T&&会折叠成左值引用；传入右值时，T推导为原始类型（如std::vector<int>），对应右值引用。

但类模板推导的逻辑完全不同：

• 类模板推导仅针对类的模板参数T，推导结果只会是原始类型（不会包含引用或cv限定符）。无论你传左值还是右值，T都会被推导为std::vector<int>，而非std::vector<int>&。
• 这就导致构造函数的T&&固定为std::vector<int>&&（右值引用），无法绑定到左值，直接传左值自然会报错。

二、无需包装函数的实现方案 #

1. 给构造函数设置独立模板参数（推荐） #

让构造函数使用独立的模板参数，实现真正的万能引用，同时类模板的T自动推导为容器的原始类型：

#include <iostream>
#include <utility>
#include <vector>

template <typename T>
using BeginType = decltype(std::declval<T>().begin());

template <typename T>
struct MyClass {
    BeginType<T> begin;
    BeginType<T> end;

    // 构造函数用独立模板参数U，实现万能引用
    template <typename U>
    MyClass(U&& vec) 
        : begin(std::forward<U>(vec).begin()), 
          end(std::forward<U>(vec).end()) {}

    int sum() {
        int sum = 0;
        for (auto it = begin; it != end; ++it) sum += *it;
        return sum;
    }
};

int main() {
    std::vector<int> x{1, 2, 3};
    std::vector<int> y{2, 4, 6};

    // 右值正常工作
    std::cout << MyClass(std::vector<int>{3, 6, 9}).sum() << std::endl;
    std::cout << MyClass(std::move(y)).sum() << std::endl;

    // 左值现在也能正常工作
    std::cout << MyClass(x).sum() << std::endl;
}

原理：构造函数的U&&是真正的万能引用，传入左值时U推导为std::vector<int>&，折叠后为左值引用；传入右值时U推导为std::vector<int>，对应右值引用。类模板的T会自动根据U的推导结果（去除引用和cv限定）推导为std::vector<int>，完全符合需求。

2. 结合重载构造函数与推导指引 #

如果不想用模板构造函数，可以通过重载构造函数+推导指引实现：

#include <iostream>
#include <utility>
#include <vector>
#include <type_traits>

template <typename T>
using BeginType = decltype(std::declval<T>().begin());

template <typename T>
struct MyClass {
    BeginType<T> begin;
    BeginType<T> end;

    // 右值引用构造
    MyClass(T&& vec) : begin(vec.begin()), end(vec.end()) {}

    // 左值引用构造
    MyClass(const T& vec) : begin(vec.begin()), end(vec.end()) {}

    int sum() {
        int sum = 0;
        for (auto it = begin; it != end; ++it) sum += *it;
        return sum;
    }
};

// 显式推导指引，适配左/右值情况
template <typename T>
MyClass(T&) -> MyClass<T>;

template <typename T>
MyClass(const T&) -> MyClass<T>;

template <typename T>
MyClass(T&&) -> MyClass<std::remove_reference_t<T>>;

int main() {
    std::vector<int> x{1, 2, 3};
    std::vector<int> y{2, 4, 6};

    std::cout << MyClass(std::vector<int>{3, 6, 9}).sum() << std::endl;
    std::cout << MyClass(std::move(y)).sum() << std::endl;
    std::cout << MyClass(x).sum() << std::endl;
}

这种方式需要手动重载左值/右值构造函数，灵活性不如第一种方案。

总结 #

• 本质差异：普通模板函数的万能引用会将引用类型纳入模板参数推导，而类模板推导仅针对原始类型，不会把引用绑定到类模板参数T上。
• 最优方案：给构造函数设置独立的模板参数，既实现万能引用的适配，又能利用C++17的类模板自动推导，无需额外包装函数。

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