Question

是否可以使用具有完美转发功能的单个模板构造函数替换该程序中的两个构造函数？

#include <unordered_map>
#include <unordered_set>
#include <string>

using Mymap = std::unordered_map<std::string, std::unordered_set<std::string>>;

class A {
    Mymap n_;
public:
    A(Mymap&& n) 
        : n_{std::move(n)} 
    {}

    A(Mymap& n) 
        : n_{n} 
    {}

    // doesn't compile
    //template <typename T>
    //A(T<Mymap::value_type>&& n)
    //    : n_{std::forward(n)}
    //{}
};

int main() {
    A a1{{{"C", {"A", "B"}}}};

    Mymap m{{{"C", {"A", "B"}}}};
    A a2{m};
}

Answer 1

如果Mymap的移动成本不高，则通常优选按值传递：

A(Mymap n) : n_(std::move(n)) {}

否则，您必须依靠丑陋的解决方案：

template <class T, class = std::enable_if_t<std::is_same_v<Mymap, std::decay_t<T>>>>
A(T&& n) : n_(std::forward<T>(n)) {}

（可以说std::remove_cvref_t比std::decay_t更适合这种意图。您可以从C ++ 20开始使用它。）

具有完美转发功能的模板转换构造函数

1 个答案: