调用通用构造函数模板而不是复制/移动构造函数

Question

我设计了一个更简单的包装类，它为对象添加标签，目的是隐式转换/能够替换被包装的对象。

#include <string>
#include <type_traits>
#include <utility>

template < typename T, typename Key = std::string >
class myTag{
    T val;
 public:
    Key key;

    template < typename... Args,
               typename = typename std::enable_if< std::is_constructible< T, Args... >::value >::type >
    myTag(Args&&... args) :
        val(std::forward< Args >(args)...) {
            std::cout << "forward ctor" << std::endl;
    }

    myTag(const myTag& other) :
        key(other.key), val(other.val) {
            std::cout << "copy ctor" << std::endl;
    }

    myTag(myTag&& other):
        key(other.key), val(other.val) {
            std::cout << "move ctor" << std::endl;
    }

    operator T&() { return val; }

    operator const T&() const { return val; }
};


int main(int argc, char const *argv[]) {
    myTag< float > foo(5.6);   // forward ctor
    myTag< float > bar(foo);   // forward ctor

    return 0;
}

但是，我无法正确声明和定义复制/移动构造函数。我声明了一个通用构造函数重载模板，该模板将其参数转发给底层类型，只要这种构造是可能的。但是，由于隐式转换运算符，它会捕获 myTag 的每个实例化，从而有效地隐藏复制/移动构造函数。

非默认复制/移动语义的要点是复制/移动 key 值与使用构造函数模板默认初始化它。

如何让编译器优先考虑/优先考虑显式复制/移动构造函数与泛型重载？是否有任何其他 SFINAE 检查替代 is_constructible<> 可以避免隐式转换？

编辑：我应该补充一点，我正在寻找 C++14 解决方案。

Answer 1

它不会影响复制和移动构造函数。在某些情况下，它只是在重载解决方案中击败了它们。

• 如果传递myTag<float>&，则使用转发构造函数。
• 如果您传递 const myTag<float>&，则使用复制构造函数。
• 如果传递myTag<float>&&，则使用移动构造函数。
• 如果传递const myTag<float>&&，则使用转发构造函数。

复制和移动构造函数不是模板，因此它们将胜过具有相同签名的模板。但是在推导出的签名与复制和移动构造函数不同的情况下，转发构造函数可以更好地匹配。

处理这个问题的惯用方法是根据参数的衰减类型从考虑中删除转发构造函数：

template <typename... Args>
constexpr myTag(Args&&... args)
    requires
        ((sizeof...(Args) != 1 && std::is_constructible_v<T, Args...>) ||
         (sizeof...(Args) == 1 && std::is_convertible_v<Args..., T> && !std::is_same_v<myTag, std::decay_t<Args>...>))