Identifier类构造器重载实例化签名冲突的错误修复方法

你的Identifier类里，接收参数包的构造函数Identifier(Ts&&... args)在实例化后，允许匹配0个参数的调用场景，这就导致它的签名和你显式定义的无参构造函数Identifier()完全一致。编译器遇到无参构造调用时，无法区分该选哪一个，因此抛出重载冲突的错误。

只要给参数包构造函数加上约束，让它仅在传入至少一个参数时才参与重载决议即可，分C++版本给出两种实现：

方案1：C++20及以上（推荐，语法更直观） #

用requires关键字直接约束参数个数：

#include <tuple>
#include <string>
#include <cstdint>

template<typename... Args>
class Identifier : public std::tuple<Args...> {
public:
    // 保留无参构造函数
    Identifier() = default;

    // 参数包构造函数：仅当传入至少一个参数时生效
    template<typename... Ts>
    requires (sizeof...(Ts) > 0)
    Identifier(Ts&&... args) : std::tuple<Args...>(std::forward<Ts>(args)...) {}

    // 接收std::tuple的构造函数
    Identifier(const std::tuple<Args...>& other) : std::tuple<Args...>(other) {}
    Identifier(std::tuple<Args...>&& other) : std::tuple<Args...>(std::move(other)) {}
};

// 测试实例化
int main() {
    Identifier<std::string, int64_t> id1; // 调用无参构造，无冲突
    Identifier<std::string, int64_t> id2("test", 12345); // 调用参数包构造
    auto t = std::make_tuple("hello", 67890);
    Identifier<std::string, int64_t> id3(t); // 接收tuple的构造
    return 0;
}

方案2：C++17及以下 #

用std::enable_if_t做SFINAE约束：

#include <tuple>
#include <string>
#include <cstdint>
#include <type_traits>

template<typename... Args>
class Identifier : public std::tuple<Args...> {
public:
    Identifier() = default;

    // 用enable_if确保参数个数大于0
    template<typename... Ts, typename = std::enable_if_t<(sizeof...(Ts) > 0)>>
    Identifier(Ts&&... args) : std::tuple<Args...>(std::forward<Ts>(args)...) {}

    Identifier(const std::tuple<Args...>& other) : std::tuple<Args...>(other) {}
    Identifier(std::tuple<Args...>&& other) : std::tuple<Args...>(std::move(other)) {}
};

通过添加约束，参数包构造函数会被排除在无参调用的重载决议之外。此时编译器遇到Identifier<std::string, int64_t> id;这样的无参构造请求时，只会找到你显式定义的无参构造函数，不会再出现签名冲突的问题。

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