C++类型值的运行时与编译时校验方案咨询

针对你提出的两个核心问题（禁用异常的嵌入式环境适配、编译时常量非法值拦截），可以通过编译期约束+工厂函数替代异常的组合方案解决，以下是具体实现：

1. 编译时校验：用constexpr/consteval强制合法值 #

对于编译时常量参数，我们可以直接在编译期拦截非法值，不同C++版本有不同的实现方式：

C++14+ 基础实现 #

通过私有构造函数+静态工厂函数的方式，结合static_assert实现编译期断言：

#include <cstdint>

class FileID {
    using value_type = uint8_t;
    value_type _v;

    // 私有构造函数，仅内部合法调用
    constexpr FileID(value_type v) noexcept : _v(v) {}

public:
    // 工厂函数：同时支持编译时和运行时校验
    static constexpr FileID create(value_type v) noexcept {
        static_assert(v <= 31, "FileID must be in 0-31 range");
        return FileID{v};
    }

    // 获取原始值
    constexpr value_type value() const noexcept {
        return _v;
    }
};

// 编译时合法示例：正常通过
constexpr auto kValidID = FileID::create(15);
// 编译时非法示例：触发static_assert编译错误
// constexpr auto kInvalidID = FileID::create(33);

static_assert会在编译期检测常量参数，直接抛出编译错误；对于运行时传入的变量，static_assert无法生效，需要结合运行时校验逻辑。

C++20+ 优化：用consteval强制编译期求值 #

如果只需要支持编译时常量的FileID，可以用consteval构造函数，确保所有实例都在编译期生成并校验：

#include <cstdint>

class FileID {
    using value_type = uint8_t;
    value_type _v;

public:
    consteval FileID(value_type v) noexcept : _v(v) {
        if (v > 31) {
            // 编译期错误，无需依赖异常机制
            throw "FileID must be in 0-31 range";
        }
    }

    constexpr value_type value() const noexcept {
        return _v;
    }
};

// 编译时合法：正常通过
constexpr auto kValidID = FileID{10};
// 编译时非法：触发编译错误
// constexpr auto kInvalidID = FileID{33};
// 运行时传入变量：编译错误，因为consteval强制编译期求值
// uint8_t id = 33; auto invalidID = FileID{id};

2. 无异常运行时校验：用工厂函数返回可选值/错误码 #

对于嵌入式等禁用异常的场景，我们可以用std::optional（C++17+）或者错误码的方式替代异常，同时保留编译时校验：

C++17+ 用std::optional的实现 #

#include <cstdint>
#include <optional>

class FileID {
    using value_type = uint8_t;
    value_type _v;

    constexpr FileID(value_type v) noexcept : _v(v) {}

public:
    // 工厂函数：编译时+运行时双校验
    static constexpr std::optional<FileID> create(value_type v) noexcept {
        // 编译时常量：触发静态断言
        if constexpr (std::is_constant_evaluated()) {
            static_assert(v <= 31, "FileID must be in 0-31 range");
        }
        // 运行时变量：返回nullopt表示非法
        else if (v > 31) {
            return std::nullopt;
        }
        return FileID{v};
    }

    constexpr value_type value() const noexcept {
        return _v;
    }
};

// 编译时使用
constexpr auto kValidID = FileID::create(5);
// 编译时非法：触发static_assert错误
// constexpr auto kInvalidID = FileID::create(33);

// 运行时使用
uint8_t runtime_id = 40;
auto maybe_id = FileID::create(runtime_id);
if (maybe_id) {
    // 使用合法ID：maybe_id.value()
} else {
    // 处理非法ID的逻辑
}

C++11/14 无std::optional的替代方案 #

如果环境不支持C++17，可以用错误码作为输出参数：

#include <cstdint>

class FileID {
    using value_type = uint8_t;
    value_type _v;

    constexpr FileID(value_type v) noexcept : _v(v) {}

public:
    // 工厂函数：返回是否成功，输出参数返回实例
    static constexpr bool create(value_type v, FileID& out) noexcept {
        if (v > 31) {
            return false;
        }
        out = FileID{v};
        return true;
    }

    constexpr value_type value() const noexcept {
        return _v;
    }
};

// 运行时使用
FileID id;
if (FileID::create(25, id)) {
    // 使用合法ID
} else {
    // 处理非法ID的逻辑
}

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