使用same_as约束的万能引用推导问题：阻塞队列Push编译失败

问题根源 #

你遇到的编译失败是因为万能引用的模板参数推导规则和你设置的约束不匹配：

• 当传入左值x（类型为int）时，模板参数Arg会被推导为int&（万能引用的特性：左值实参对应的模板参数会被推导为左值引用类型）。此时你的约束std::same_as<Arg, ValueType>等价于std::same_as<int&, int>，显然不成立，所以编译器报错约束不满足。
• 当传入右值5时，Arg被推导为int，和ValueType（int）完全匹配，约束通过，所以编译正常。

修正代码 #

要让约束同时兼容左值和右值实参，需要先移除Arg的引用及cv限定符，再和ValueType比较。使用std::remove_cvref_t可以实现这一点：

#include <concepts>
#include <deque>
#include <utility> // 用于std::forward

template <typename ValueType>
class shared_queue
{
public:
    template <typename Arg>
        requires std::same_as<std::remove_cvref_t<Arg>, ValueType>
    void push(Arg&& arg)
    {
        // 保持实参的值类别，调用deque对应的push_back重载
        container_.push_back(std::forward<Arg>(arg));
    }
private:
    std::deque<ValueType> container_;
};

关键细节说明 #

• std::remove_cvref_t<Arg>会剥离Arg的左值/右值引用，以及const、volatile限定符，确保只要实参的底层类型和ValueType一致，就能通过约束。
• 实现push时必须用std::forward<Arg>(arg)，这样才能保留实参原本的值类别：如果是左值就拷贝到队列，是右值就移动到队列，避免不必要的拷贝开销。

如果你的需求允许实参隐式转换为ValueType（比如传入short或const int&），可以把约束换成std::convertible_to<Arg, ValueType>，但这需要根据你的业务场景调整。

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