如何让非原生类型A、B成为可区分类型以提升函数f的类型安全性？

你当前用using声明的A和B本质是std::array<char, 8U>的类型别名，编译器会将它们视为完全相同的类型，因此函数f无法区分传入的参数是A还是B，也就达不到类型安全的目的。要解决这个问题，需要将A、B定义为不同的实体类型，以下是几种原生C++的实现方案：

方案一：标签式模板包装类（推荐，避免重复代码） #

通过空标签类型区分不同的强类型，同时继承std::array以保留其所有功能：

constexpr std::size_t type_size{ 8U };

// 定义空标签，用于区分不同类型
struct TagA {};
struct TagB {};

// 模板包装类，标签作为模板参数区分类型
template<typename Tag>
struct StrongArray : std::array<char, type_size> {
    // 继承std::array的所有构造函数
    using std::array<char, type_size>::array;
};

// 定义真正的A、B类型
using A = StrongArray<TagA>;
using B = StrongArray<TagB>;

constexpr auto f(A const a, B const b) {
    // 可以像使用std::array一样操作a和b，比如a[0]、b.size()
}

此时A和B是完全不同的类型，如果你误将B类型的变量传给第一个参数、A类型传给第二个参数，编译器会直接抛出编译错误，实现类型安全。

方案二：独立结构体包装 #

直接创建包含std::array成员的独立结构体，按需提供访问接口：

constexpr std::size_t type_size{ 8U };

struct A {
    std::array<char, type_size> data;

    // 复刻std::array的核心访问接口
    constexpr char const& operator[](std::size_t idx) const noexcept {
        return data[idx];
    }
    constexpr char& operator[](std::size_t idx) noexcept {
        return data[idx];
    }
    constexpr std::size_t size() const noexcept {
        return data.size();
    }
    // 可按需添加begin()、end()等迭代器接口
};

struct B {
    std::array<char, type_size> data;

    // 同样提供访问接口
    constexpr char const& operator[](std::size_t idx) const noexcept {
        return data[idx];
    }
    constexpr char& operator[](std::size_t idx) noexcept {
        return data[idx];
    }
    constexpr std::size_t size() const noexcept {
        return data.size();
    }
};

constexpr auto f(A const a, B const b) {
    // 使用a.data或直接通过operator[]访问元素
}

这种方式更灵活，你可以给A、B添加各自独有的成员函数或操作符，完全隔离两个类型的行为。

核心原理 #

无论是哪种方案，核心都是将A、B从“类型别名”转变为“独立的用户定义类型”，让编译器能够识别它们的差异，从而在编译阶段就拦截参数传反等错误，实现接口的类型安全性。

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