为何模板转换构造函数不与拷贝构造函数产生匹配竞争？

在C++中，自定义拷贝构造函数会导致默认移动构造函数被删除；仅编译器自动生成的拷贝、移动构造函数属于平凡构造函数。我实现了一个可从任意Element<TT>类型转换为当前Element<T>的模板构造函数，代码如下：

#include <format>
#include <iostream>
#include <type_traits>

template <typename T = int>
class Element {
   public:
    T value;

    Element(const T value_) noexcept : value(value_) {};

    // 模板转换构造函数
    template <typename TT>
    Element(const Element<TT> &element) noexcept : value(element.value) {
        std::cout << std::format(
            "Element<{}>(const {}& {})\n", 
            typeid(T).name(), typeid(TT).name(), element.value
        );
    }

    // 取消注释会破坏后续的static_assert
    // Element(const Element &element) noexcept : value(element.value) {};
};

static_assert(std::is_trivially_move_constructible<Element<>>::value);
static_assert(std::is_trivially_copy_constructible<Element<>>::value);

// 测试行为
void foo_int(Element<int> element) { 
    std::cout << std::format("foo_int: {}\n", element.value); 
}

void foo_double(Element<double> element) { 
    std::cout << std::format("foo_double: {}\n", element.value); 
}

int main() {
    Element<int> int_element {1};
    Element<double> double_element {1.5};

    foo_int(int_element);
    foo_double(int_element);

    // 取消注释会编译失败——窄化转换
    // foo_int(double_element);
    foo_double(double_element);

    return 0;
}

疑问与解答 #

1. 为什么T==TT时，模板转换构造函数不会被匹配，只会调用拷贝/移动构造函数？ #

C++标准明确规定，类的拷贝构造函数必须是非模板函数，属于特殊成员函数范畴。在重载解析阶段，非模板函数的优先级高于模板实例化生成的函数。

即使模板构造函数在T==TT时实例化出的签名和拷贝构造函数完全一致，编译器也不会把它视为拷贝构造函数，只会优先选择编译器自动生成的（或用户定义的）非模板拷贝构造函数。模板构造函数本质上只是普通的转换构造函数，永远不会被归类为特殊成员函数。

2. 手动调用模板构造函数时出现“obsolete declaration style”错误的原因？ #

Element<int>::Element<int>(int_element)这种写法不符合C++语法规则：构造函数的模板参数无法通过显式指定的方式调用，只能依赖编译器自动推导。你使用的是旧标准中已被废弃的语法，因此编译器直接报错。

如果需要强制触发模板构造函数（仅用于测试），可以通过类型转换引导推导，但实际上只要非模板拷贝构造函数存在，编译器依然会优先选择它：

// 示例：通过类型转换引导，但实际仍会优先匹配拷贝构造函数
auto a = Element<int>(static_cast<const Element<int>&>(int_element));

3. 为什么模板构造函数的优先级低于特殊成员函数？ #

这是C++重载解析的核心规则：非模板函数的匹配优先级高于模板函数。特殊成员函数（拷贝/移动构造、拷贝/移动赋值等）无论是用户定义的还是编译器生成的，都属于非模板函数。因此在签名匹配的场景下，特殊成员函数会被优先选中，模板构造函数只有在没有合适的非模板特殊成员函数时才会被考虑。

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