C++中如何从类型U推导MyVector的模板参数T？

我在C++中把自定义类MyVector的左值和右值构造函数合并成了单个万能引用构造函数，简化了代码，但随之而来的问题是：类的模板参数T无法从构造函数的万能引用参数U中推导出来。

我的类定义如下：

template<typename T>
class MyVector {
public:
    std::vector<T> data;
    // ... 其他成员
    
    template<typename U>
    MyVector(U&& data) : data(std::forward<U>(data)) {}
};

这导致使用时必须显式指定模板参数，无法像下面这样便捷实例化：

// 编译失败，无法推导T
MyVector v = std::vector<int>({1, 2, 3});

必须写成：

// 必须显式指定<int>
MyVector<int> v = std::vector<int>({1, 2, 3});

我希望强制要求std::decay_t<U>必须是std::vector<T>，并以此从U推导出T。注意：我不是想在std::decay_t<U> != std::vector<T>时用std::enable_if屏蔽构造函数，而是要直接绑定二者的类型关系，确保类型相等来实现推导。

我曾尝试在类里写一个接收std::vector<T>的bind方法并传入std::declval<std::decay_t<U>>()，但报错说std::declval的结果必须未被使用。现在没别的思路了，想问C++里能不能用类型特性或其他技术实现这个需求？

可以通过**类模板参数推导（CTAD）**结合构造函数的模板参数约束来实现，核心是让编译器能从U推导出std::vector<T>中的T。下面提供两种可行的实现方式：

方式一：利用构造函数的模板参数推导与类型约束 #

我们可以给构造函数的模板参数U添加约束，直接关联std::decay_t<U>和std::vector<T>，同时借助C++17及以上的CTAD自动推导T：

#include <vector>
#include <type_traits>

template<typename T>
class MyVector {
public:
    std::vector<T> data;
    
    // 约束U的decay类型必须是std::vector<T>，同时推导T
    template<typename U, 
             typename V = std::decay_t<U>,
             typename = std::enable_if_t<std::is_same_v<V, std::vector<T>>>>
    MyVector(U&& data) : data(std::forward<U>(data)) {}
};

// 为CTAD提供推导指引（C++17及以上）
template<typename U>
MyVector(U&&) -> MyVector<typename std::decay_t<U>::value_type>;

这样就能直接用你想要的方式实例化：

// 成功推导T为int
MyVector v = std::vector<int>({1, 2, 3});
// 左值也能推导
std::vector<double> vec{4.5, 6.7};
MyVector v2(vec);

原理说明： #

• 推导指引MyVector(U&&) -> MyVector<typename std::decay_t<U>::value_type>告诉编译器：当用U类型的参数构造MyVector时，T取std::decay_t<U>（即去掉引用、cv限定后的类型）的value_type——也就是std::vector<T>里的T。
• 构造函数里的enable_if约束确保只有当std::decay_t<U>确实是std::vector<T>时，这个构造函数才会被启用，严格绑定了类型关系。

方式二：直接重载std::vector的万能引用 #

如果你不需要处理非std::vector类型的构造（本来就要求参数必须是std::vector<T>相关），可以直接把构造函数写成针对std::vector<T>的万能引用，这样编译器能自动推导T：

#include <vector>

template<typename T>
class MyVector {
public:
    std::vector<T> data;
    
    MyVector(std::vector<T>&& data) : data(std::move(data)) {}
    MyVector(const std::vector<T>& data) : data(data) {}
};

// 提供推导指引
template<typename T>
MyVector(std::vector<T>) -> MyVector<T>;

这种方式更直观，本质是回到了左值+右值构造的形式，但借助CTAD依然能实现自动推导：

MyVector v = std::vector<int>({1,2,3}); // 推导T=int
std::vector<double> vec{4.5,6.7};
MyVector v2(vec); // 推导T=double

为什么你之前的尝试失败？ #

你提到的用std::declval的方法错误在于，std::declval只是用来在编译期获取类型的“占位值”，不能直接作为函数参数传递。正确的做法是通过类型特性（比如std::is_same、std::decay_t）在编译期约束类型关系，而不是运行时传递值。

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