如何在C++中创建强类型定义及对应验证函数？以颜色组件为例

我最近观看了一个关于F#领域建模的有趣视频，希望将其中部分概念应用到我的C++代码中。例如，我现有一个Window类，其成员函数clear(int r, int g, int b, int a)用于清除窗口颜色，我想为参数赋予ColorComponent这类唯一类型名，使函数变为clear(ColorComponent r, ColorComponent g, ColorComponent b, ColorComponent a)。

同时我希望创建验证函数，确保输入始终有效（值范围0-255），无需在每个接收此类输入的函数内重复校验。我当前的代码如下：

int validateColor(int r) {
    return (r >= 0 && r <= 255)? r : 255; // 255是默认值
}

我也在网上看到过模板类的实现方式：

template <class Tag, typename T>
class StrongTypedef
{
private:
   T value;
};

struct Color : StrongTypedef<Color, int> {};

理想状态下，我能创建不同的唯一类型并为每个类型添加专属验证。请问最佳实现方式是什么？另外，这种思路是否合理，还是我过度设计了？

一、最佳实现方式 #

基于强类型别名（Strong Typedef）的思路完全可行，我们可以扩展模板类，加入验证逻辑和类型安全特性，同时支持不同类型的专属验证。以下是完整的实现方案：

1. 通用强类型模板基类 #

实现一个通用的强类型模板，负责封装底层值、提供访问接口，并预留验证扩展点：

#include <utility> // 用于std::forward

template <class Tag, typename T>
class StrongTypedef {
public:
    // 禁止隐式转换，必须显式构造，保证类型安全
    explicit StrongTypedef(T value) : value_(std::move(value)) {}

    // 提供底层值的只读访问接口
    const T& get() const noexcept { return value_; }

protected:
    // 将底层值设为protected，允许子类自定义验证逻辑时访问
    T value_;
};

2. 带专属验证的颜色组件类型 #

针对颜色组件创建子类，在构造函数中嵌入验证逻辑，确保输入值始终在0-255范围内：

// 颜色组件的标签类型，用于区分其他强类型实例
struct ColorComponentTag {};

class ColorComponent : public StrongTypedef<ColorComponentTag, int> {
public:
    explicit ColorComponent(int value) 
        : StrongTypedef<ColorComponentTag, int>(validate(value)) {}

private:
    // 专属验证函数，超出范围时返回默认值255
    static int validate(int input) {
        if (input < 0 || input > 255) {
            return 255;
        }
        return input;
    }
};

3. 优化Window类的clear函数 #

修改Window类的clear方法，使用ColorComponent作为参数，确保传入的参数均为经过验证的有效值：

class Window {
public:
    void clear(ColorComponent r, ColorComponent g, ColorComponent b, ColorComponent a) {
        // 直接使用验证后的值，无需重复校验
        int r_val = r.get();
        int g_val = g.get();
        int b_val = b.get();
        int a_val = a.get();
        // 执行窗口清除逻辑...
    }
};

4. 扩展其他带验证的强类型 #

如果需要其他类型的强类型（如百分比、端口号），只需复用模板+标签+验证的模式：

// 百分比类型的标签
struct PercentageTag {};

class Percentage : public StrongTypedef<PercentageTag, int> {
public:
    explicit Percentage(int value) 
        : StrongTypedef<PercentageTag, int>(validate(value)) {}

private:
    static int validate(int input) {
        return input < 0 ? 0 : (input > 100 ? 100 : input);
        // C++17及以上可使用std::clamp(input, 0, 100)
    }
};

二、思路合理性与过度设计判断 #

这种思路完全合理，不属于过度设计，核心原因如下：

• 编译期类型安全：避免将普通int（如端口号、计数）误传入颜色相关函数，编译阶段即可捕获错误，减少运行时bug。
• 减少重复代码：验证逻辑集中在强类型的构造函数中，无需在每个接收此类参数的函数内重复校验，符合DRY（Don't Repeat Yourself）原则。
• 语义可读性提升：ColorComponent比int更具语义，其他开发者能立刻理解参数的含义和约束，降低维护成本。
• 扩展性强：后续若需修改颜色组件的规则（如改为0.0-1.0的浮点数），只需修改ColorComponent的实现，所有使用它的代码都会自动受益。

当然，如果你的项目是极小规模的工具类、无需长期维护或无团队协作，这种设计可能略显繁琐。但对于中大型项目、长期维护代码或团队协作场景，强类型设计能带来显著的长期收益。

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