如何让C++构造函数调用可通过全局搜索轻松定位？

你的核心问题是：用explicit+枚举类的方案无法阻止通过{}调用构造函数，导致搜索ECtor无法覆盖所有实例；而命名构造函数又要为不同实例化场景写多个方法，不够灵活。

问题根源在于：枚举类可以被值初始化（{}会生成默认值为0的枚举实例），即使构造函数标记了explicit，这种列表初始化的调用依然合法。

下面提供两种实用的解决方案：

方案1：用不可默认构造的标记类（兼容C++11及以上） #

用一个私有构造、删除公开默认构造的标记类代替枚举，强制调用者必须通过指定静态方法获取实例，这样就彻底堵死了{}调用的路径，同时保证所有构造调用都能通过搜索标记类的静态成员定位。

#include <iostream>

struct Example {
    struct ECtor {
        // 禁止公开默认构造
        ECtor() = delete;
        // 唯一合法的实例获取入口
        static ECtor eCtor() {
            return ECtor{};
        }
    private:
        // 私有构造，仅内部能创建实例
        ECtor() {}
    };

    explicit Example(ECtor) {
        std::cout << "Ctor" << std::endl;
    }
};

int main() {
    // 合法调用，全局搜索"ECtor::eCtor"就能找到
    Example good(Example::ECtor::eCtor());

    // 编译错误：无法构造ECtor实例
    // Example bad({});

    // 堆上实例化也一样用，不用额外写命名方法
    Example* heap_inst = new Example(Example::ECtor::eCtor());
    return 0;
}

这个方案的好处：

• 编译时就阻止非法调用，确保所有构造点都显式包含搜索关键词
• 适配所有实例化场景：栈、堆、自定义new，用法和普通构造函数完全一致
• 不用修改现有调用逻辑，只需要替换构造参数的写法

方案2：C20 约束枚举参数（需C20支持） #

如果项目已经升级到C++20，可以用requires表达式限制构造函数仅接受合法的枚举值，直接拒绝默认值的枚举实例：

#include <iostream>

struct Example {
    enum class ECtor { eCtor = 1 }; // 把枚举值设为非0，避开默认值

    explicit Example(ECtor c) requires (c == ECtor::eCtor) {
        std::cout << "Ctor" << std::endl;
    }
};

int main() {
    Example good(Example::ECtor::eCtor); // 合法

    // 编译错误：不符合requires约束（传入的是ECtor(0)）
    // Example bad({});

    return 0;
}

这个写法更简洁，但依赖C++20的特性，适合现代项目。

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