Julia中能否定义行为类似基础数据类型、支持校验的自定义类型？

完全可以实现符合需求的自定义类型，具体实现步骤如下：

1. 定义带范围校验的基础自定义类型 #

首先定义封装核心数值、自带校验逻辑的MyType，通过继承Integer抽象类型获得原生数值类型的大部分默认行为，无需手动重写所有基础方法：

struct MyType <: Integer
    val::Int
    # 内部构造函数实现1-10范围校验
    function MyType(v::Real)
        int_val = Int(v)
        1 ≤ int_val ≤ 10 || throw(ArgumentError("MyType 合法取值范围为1-10，传入值为 $v"))
        new(int_val)
    end
end

此时只要传入超出范围的值创建MyType实例就会直接报错，符合你提到的创建结构体实例时自动校验的需求。

2. 适配基础类型行为 #

要让MyType和原生数值类型行为完全一致，只需补充少量类型转换、运算规则即可：

• 实现类型转换方法，支持直接转成原生数值类型使用：

Base.Int(x::MyType) = x.val
# 按需补充其他数值类型转换规则，例如转Float64
Base.Float64(x::MyType) = Float64(x.val)

• 配置类型提升规则，保证和其他数值类型混合运算时逻辑正常：

Base.promote_rule(::Type{MyType}, ::Type{T}) where T <: Real = promote_type(Int, T)

• 按需重写运算方法，可自定义运算后是否保留MyType类型：

# 示例：两个MyType相加，结果在合法范围内返回MyType，否则返回原生Int
function Base.:+(a::MyType, b::MyType)
    res = a.val + b.val
    return 1 ≤ res ≤ 10 ? MyType(res) : res
end

其他运算符、比较方法等都可以按照相同逻辑扩展。

3. 结构体使用示例 #

你提到的结构体场景测试效果如下：

# Julia类型名习惯使用驼峰大写，这里按规范命名
struct TestStruct
    att1::MyType
end

# 合法值创建，运行正常
test1 = TestStruct(5)
# 非法值创建，直接抛出ArgumentError错误
test2 = TestStruct(11)

4. 更多功能扩展方式 #

• 如果需要可修改的可变类型，将struct替换为mutable struct，同时补充setproperty!方法保证修改属性时也触发校验：

mutable struct MutableMyType <: Integer
    val::Int
    function MutableMyType(v::Real)
        int_val = Int(v)
        1 ≤ int_val ≤ 10 || throw(ArgumentError("合法取值范围为1-10，传入值为 $v"))
        new(int_val)
    end
end

function Base.setproperty!(x::MutableMyType, name::Symbol, v)
    if name == :val
        int_val = Int(v)
        1 ≤ int_val ≤ 10 || throw(ArgumentError("合法取值范围为1-10，传入值为 $v"))
        setfield!(x, :val, int_val)
    else
        setfield!(x, name, v)
    end
end

• 新增自定义功能直接针对MyType类型写多重派发方法即可，不会对原生类型的行为产生任何影响。

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