c++ - 避免 `const X&` 和 `X&` 的两个版本的函数

Question

考虑这段代码:

template<typename X>
struct Store { X x; };

template<typename X>
Store<X> store(X x) { /* a lot of code */ return Store<X>{x}; }

void foo_cr(const int& a) {
    auto s = store(a);
}

void foo_r(int& a) {
    auto s = store(a);
}

有没有办法修改函数store这样它就返回 Store<const int&>在foo_cr和 Store<int&>在foo_r不提供 store 的两个版本对于 const X&和 X& ？

---

现在我的代码是这样的:

template<typename X>
Store<const X&> store(const X& x) { /* a lot of code */ return Store<const X&>{x}; }

template<typename X>
Store<X&> store(X& x) { /* a lot of code */ return Store<X&>{x}; }

函数体完全一样，我想避免重复定义。

Answer 1

以下可能是您正在寻找的内容:

template<typename X>
Store<X&> store(X& xa)
{
    auto x=xa;
    /* a lot of code */
    return Store<X&>{x};
}

它会将 X 推导为 Y 或 const Y，但它会将您限制为引用。此外，auto x=xa; 将确保您在方法中获得类型为 Y 的拷贝。不确定这是否真的符合您的需求，但如果没有更多信息，很难判断。