如何无需显式std::move与重载Attach，隐式将左值传入函数完成移动？

我有一个仅可移动、不可拷贝的Service类，还有一个Collection类，它的成员函数Collection::Attach()需要接收Service类型对象作为参数。已知Collection会接管所有附加Service的所有权，附加后原Service不能再直接使用，逻辑上需要把Service移动到Collection中，因此Collection::Attach()原本声明为void Attach(Service);。

但我希望以下两种使用场景（标记为(1)和(2)）均能正常工作：

#include <utility>

struct Service
{
    Service() = default;
    Service(Service&&) = default;       // 允许移动
    Service(const Service&) = delete;   // 禁止拷贝
};

struct Collection
{
    // 如何声明这个方法，让下面的场景(1)和(2)都能正常工作？
    void Attach(Service);
};

void foo(Collection* collection)
{
    // 这个场景正常工作：
    collection->Attach(Service{});            // (1)
}

void bar(Collection* collection)
{
    Service s;

    // 这个场景正常工作，但std::move()显得多余：
    collection->Attach(std::move(s));

    // 我希望下面这行代码能自动等效于上面带std::move()的写法：
    collection->Attach(s);                   // (2)
}

我想免除客户端程序员在场景(2)中编写std::move()的负担，毕竟上下文和函数命名已经明确参数会被移动。问题是：能否不通过重载Attach()（即不声明void Attach(Service&&);和void Attach(Service&);这两个版本）实现该需求？

可以实现，核心思路是利用带类型约束的模板完美转发，既不需要重载多个Attach()版本，又能让左值和右值Service都能被正确传递并移动到Collection中。

修改后的Collection类实现如下：

#include <type_traits>
#include <vector>

struct Service
{
    Service() = default;
    Service(Service&&) = default;
    Service(const Service&) = delete;
};

struct Collection
{
    // 带约束的模板函数，仅接受Service类型（左值/右值）
    template <typename T, typename = std::enable_if_t<std::is_same_v<std::decay_t<T>, Service>>>
    void Attach(T&& s)
    {
        // 强制移动参数，不管传入的是左值还是右值
        storage.emplace_back(std::move(s));
    }

private:
    std::vector<Service> storage;
};

原理说明： #

1. 万能引用与类型推导：T&&是万能引用，当传入左值Service s时，T会被推导为Service&；传入右值Service{}时，T被推导为Service。
2. 类型约束：std::enable_if_t和std::decay_t确保只有Service类型（包括其引用）能被传递到Attach()中，避免其他类型误调用。
3. 强制移动：函数内部用std::move(s)将参数转换为右值引用，无论传入的是左值还是右值，都会触发Service的移动构造函数，符合Collection接管所有权的语义。

这样修改后，场景(1)和(2)都能正常编译运行，客户端无需手动编写std::move()，同时也没有重载多个Attach()版本。

⚠️ 注意：不要尝试给Service添加隐式转换到Service&&的运算符，这会导致所有左值Service都被隐式视为右值，破坏常规C++语义，引发意外的移动行为。

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