Skip to main content
版本: 0.5

KCL 错误与警告

文档的此部分中的文章介绍了由 KCL 生成的诊断错误和警告消息。

注意: KCL 可以报告多种错误和警告。找到错误或警告后,KCL 可能会对代码意向作出假设并尝试继续,以便可以同时报告更多问题。 如果工具做出错误假设,则后续错误或警告可能不适应与当前 KCL 程序。 因此,纠正项目中的问题时,请先纠正第一个错误或警告,然后重新运行获取新的错误信息。 一个修补程序可能会导致后续错误消失。

此部分文档的主要内容包括:

KCL 语法错误 (E1xxx) : 如果 KCL 在当前 KCL 程序中发现了非法的 KCL 语法,KCL 就会停止运行并输出 KCL 程序语法错误的提示信息.

KCL 编译错误 (E2xxx) : 如果 KCL 在一个不包含语法错误的 KCL 程序中发现了与 KCL 语义不符的代码,KCL 就会停止运行并输出编译错误的提示信息。

KCL 运行时错误 (E3xxx) : KCL 程序通过编译后会生成 KCL 字节码,如果 KCL 在执行 KCL 字节码过程中出现错误,KCL 就会停止运行并输出运行时错误的提示信息.

KCL 编译警告 (W2xxx) : 当 KCL 发现可能导致运行失败的 KCL 代码,KCL 不会立即停止运行,但是会输出潜在错误的警告提示。

1.1 KCL 语法错误 (E1xxx)

KCL 会出现的语法错误信息如下表所示:

ewcodeKCL exceptionmessages
E1001InvalidSyntaxErrorInvalid syntax
E1002KCLTabErrorTab Error
E1003KCLIndentationErrorIndentation Error
E1I37IllegalArgumentSyntaxErrorIllegal argument syntax

InvalidSyntaxError [E1001]

如果在运行 KCL 时遇到错误:

  • InvalidSyntaxError, 对应的 encode 为 E1001

那么此时 KCL 程序中出现了

  • 非法的 KCL 语法。

可能出现错误的 KCL 程序片段如下:

a, b = 1, 2 # 通过 “=” 赋值多个变量在KCL中是非法的。

KCL 在运行上述 KCL 程序片段时的输出信息如下.

error[E1001]: InvalidSyntax
--> /syntax_error/general/multiple_assign/case0/main.k:1:2
|
1 | a, b = 1, 2 # Multiple assign is illegal in KCL syntax
| ^ expected statement
|

TabError

如果在运行 KCL 时遇到错误: KCLTabError

那么此时 KCL 程序中出现了

  • Tab 与空格混用的问题。KCL 中禁止在代码缩进中混用 Tab 和空格。

可能出现错误的 KCL 程序片段如下:

schema Person:
name: str # 通过tab表示缩进
age: int # 通过四个空格标识缩进,
# 在当前运行环境中的四个空格与tab不同

KCL 在运行上述 KCL 程序片段时的输出信息如下.

error[E1001]: InvalidSyntax
--> File /syntax_error/tab/tab_error_0/main.k:6:5
|
3 | age: int = 1
| ^ inconsistent use of tabs and spaces in indentation
|

可以尝试以下步骤来修复这个错误:

  • 在 KCL 程序中全部使用 Tab 或者全部使用四个空格,不要混用。

IndentationError

如果在运行 KCL 时遇到错误: KCLIndentationError

那么此时 KCL 程序中出现了

  • 程序缩进错误。

可能出现错误的 KCL 程序片段如下:

schema Person:
name: str # 使用一个tab或者四个空格表示缩进
age: int # KCL不支持使用三个空格表示缩进
info: str # KCL不支持使用两个空格表示缩进

KCL 在运行上述 KCL 程序片段时的输出信息如下.

error[E1001]: InvalidSyntax
--> /syntax_error/indent/indent_error_0/main.k:3:4
|
3 | age: int # three white spaces are illegal
| ^ unindent 3 does not match any outer indentation level
|

可以尝试以下步骤来修复这个错误:

  • 在 KCL 程序中全部使用 Tab 或者全部使用四个空格来表示缩进。

IllegalArgumentSyntaxError

如果在运行 KCL 时遇到错误: IllegalArgumentSyntaxError

那么此时 KCL 程序中出现了

  • 参数语法错误

可能出现错误的 KCL 程序片段如下:

# KCL中带有keyword的参数必须出现在不带有keyword参数后面
# 带有keyword的参数: type="list", default={"key": "value"}
# 不带有keyword的参数: "key1"
a = option(type="list", default={"key": "value"}, "key1")

KCL 在运行上述 KCL 程序片段时的输出信息如下.

error[E1001]: InvalidSyntax
--> /option/type_convert_fail_2/main.k:3:57
|
3 | a = option(type="list", default={"key": "value"}, "key1")
| ^ positional argument follows keyword argument
|

可以尝试以下步骤来修复这个错误:

  • KCL 中带有 keyword 的参数必须出现在不带有 keyword 参数后面, 参数正常顺序:
func(input_1, ..., input_n, param_with_key_1 = input_with_key_1, ..., param_with_key_n = input_with_key_n)

1.2 KCL 编译错误 (E2xxx)

KCL 会出现的编译错误信息如下表所示:

ewcodeKCL exceptionmessages
E2F04CannotFindModuleCannot find the module
E2F05FailedLoadModuleFailed to load module
E2H13UnKnownDecoratorErrorUnKnown decorator
E2C15MixinNamingErrorIllegal mixin naming
E2C16MixinStructureIllegalIllegal mixin structure
E2B17CannotAddMembersComplieErrorCannot add members to a schema
E2B20IndexSignatureErrorInvalid index signature
E2G22TypeComplieErrorThe type got is inconsistent with the type expected
E2L23CompileErrorA complie error occurs during compiling
E2L25KCLNameErrorName Error
E2L26KCLValueErrorValue Error
E2L27KCLKeyErrorKey Error
E2L28UniqueKeyErrorUnique key error
E2A29KCLAttributeComplieErrorAttribute error occurs during compiling
E2D32MultiInheritErrorMultiple inheritance is illegal
E2D34IllegalInheritErrorIllegal inheritance
E2I36IllegalArgumentComplieErrorIllegal argument during compiling
E3L41ImmutableCompileErrorImmutable variable is modified

CannotFindModule [E2F04]

如果在运行 KCL 时遇到错误:

  • CannotFindModule, 对应的 encode 为 E2F04

那么此时 KCL 程序中出现了

  • 无法找到导入模块错误

可能出现错误的 KCL 程序片段如下:

import .some0.pkg1 as some00  # some0 not found in package

Name1 = some00.Name # some0.pkg1.name

KCL 在运行上述 KCL 程序片段时的输出信息如下.

error[E2F04]: CannotFindModule
--> import_abs_fail_0/app-main/main.k:1:1
|
1 | import .some0.pkg1 as some00 # some0 not found in package
| Cannot find the module .some0.pkg1
|

可以尝试以下步骤来修复这个错误:

  • 在 import 路径下添加导入模块文件。

FailedLoadModule [E2F05]

如果在运行 KCL 时遇到错误:

  • FailedLoadModule, 对应的 encode 为 E2F05

那么此时 KCL 程序中出现了

  • 导入模块加载错误

可以尝试以下步骤来修复这个错误:

  • 查看文件是否可读
  • 查看文件是否为 kcl 文件

UnKnownDecoratorError

如果在运行 KCL 时遇到错误:

  • UnKnownDecoratorError, 对应的 encode 为 E2H13

那么此时 KCL 程序中出现了

  • 未知的装饰器错误

可能出现错误的 KCL 程序片段如下:

@err_deprecated # 这是一个非法的装饰器
schema Person:
firstName: str = "John"
lastName: str
name: str

JohnDoe = Person {
name: "deprecated"
}

KCL 在运行上述 KCL 程序片段时的输出信息如下.

error[E2L23]: CompileError
--> deprecated/unknown_fail_1/main.k:1:2
|
1 | @err_deprecated # 这是一个非法的装饰器
| ^ UnKnown decorator err_deprecated
|

可以尝试以下步骤来修复这个错误:

  • 检查装饰器是否存在。

MixinNamingError [E2C15]

如果在运行 KCL 时遇到错误:

  • MixinNamingError, 对应的 encode 为 E2C15

那么此时 KCL 程序中出现了

  • Mixin 命名错误。

可能出现错误的 KCL 程序片段如下:

schema Person:
firstName: str
lastName: str
fullName: str

schema Fullname: # Mixin的名称应该以Mixin结尾
fullName = "{} {}".format(firstName, lastName)

schema Scholar(Person):
mixin [Fullname]
school: str

JohnDoe = Scholar {
"firstName": "John",
"lastName": "Doe",
"fullName": "Doe Jon"
}

KCL 在运行上述 KCL 程序片段时的输出信息如下.

error[E2D34]: IllegalInheritError
--> mixin/invalid_name_failure/main.k:10:12
|
10 | mixin [Fullname]
| ^ illegal schema mixin object type 'Fullname'
|

可以尝试以下步骤来修复这个错误:

  • 如果 schema 是一个 mixin,那么这个 schema 的名称应该以 Mixin 结尾。

MixinStructureIllegal [E2C16]

如果在运行 KCL 时遇到错误:

  • MixinStructureIllegal, 对应的 encode 为 E2C16

那么此时 KCL 程序中出现了

  • Mixin 结构错误。

可以尝试以下步骤来修复这个错误:

  • 检查作为 Mixin 的 Schema 的结构。

CannotAddMembersComplieError [E2B17]

如果在运行 KCL 时遇到错误:

  • CannotAddMembersComplieError, 对应的 encode 为 E2B17

那么此时 KCL 程序中出现了

  • 使用 Schema 中不存在的成员。

可能出现错误的 KCL 程序片段如下:

schema Girl:
gender: str = "female"

alice = Girl {
"first": "alice", # Schema中没有成员“first”
"last": " Green", # Schema中没有成员“last”
"age": 10 # Schema中没有成员“age”
}

KCL 在运行上述 KCL 程序片段时的输出信息如下.

error[E2L23]: CompileError
--> /invalid/add_attribute/main.k:5:5
|
5 | "first": "alice",
| ^ Cannot add member 'first' to schema 'Girl'
|

error[E2L23]: CompileError
--> /invalid/add_attribute/main.k:6:5
|
6 | "last": " Green",
| ^ Cannot add member 'last' to schema 'Girl'
|

error[E2L23]: CompileError
--> /invalid/add_attribute/main.k:7:5
|
7 | "age": 10
| ^ Cannot add member 'age' to schema 'Girl'
|

可以尝试以下步骤来修复这个错误:

  • 为 Schema 添加缺少的成员。
  • 不要使用 Schema 中不存在的成员。

IndexSignatureError [E2B20]

如果在运行 KCL 时遇到错误:

  • IndexSignatureError, 对应的 encode 为 E2B20

那么此时 KCL 程序中出现了

  1. 在一个 schema 中使用多个索引签名。

可能出现错误的 KCL 程序片段如下:

schema Data:
[str]: str
[str]: int # 在同一个schema中使用了多个索引签名

data = Data {
name: "test"
}

KCL 在运行上述 KCL 程序片段时的输出信息如下.

error[E2L23]: CompileError
---> index_signature/fail_1/main.k:3:5
|
3 | [str]: int
| 5 ^ only one index signature is allowed in the schema
|

可以尝试以下步骤来修复这个错误:

  • 删除多余的索引签名。
  1. schema 中索引签名的名称与 schema 中其他属性的名称存在同名冲突。

可能出现错误的 KCL 程序片段如下:

schema Data:
name: str # name
[name: str]: str # 已有名称为name的schema属性

data = Data {
name: "test"
}

KCL 在运行上述 KCL 程序片段时的输出信息如下.

error[E1001]: IndexSignatureError
--> index_signature/fail_2/main.k:3:5
|
3 | [name: str]: str # the same name with the above attribute
| ^ index signature attribute name 'name' cannot have the same name as schema attributes
|

可以尝试以下步骤来修复这个错误:

  • 删除 schema 中出现同名冲突的属性或者索引签名,或者为它们更换不同的名称。
  1. schema 索引签名的类型与 schema 实例化的属性类型冲突。

可能出现错误的 KCL 程序片段如下:

schema Data:
[str]: int

data = Data {
name: "test" # 索引签名为 [str]:int, "test"的类型不是int.
}

KCL 在运行上述 KCL 程序片段时的输出信息如下.

error[E2G22]: TypeError
--> index_signature/fail_3/main.k:5:5
|
5 | name: "test" # Conflict with [str]:int, "test" is a string.
| ^ expected int, got str(test)
|

可以尝试以下步骤来修复这个错误:

  • 检查 schema 索引签名的类型与 schema 实例中的属性类型是否一致。
  1. Schema 中的属性与索引签名冲突

可能出现错误的 KCL 程序片段如下:

schema Data:
count: int # int 和 str 冲突
[str]: str

data = Data {
count: 1
}

KCL 在运行上述 KCL 程序片段时的输出信息如下.

error[E1001]: IndexSignatureError
--> index_signature/fail_4/main.k:2:5
|
2 | count: int
| ^ the type 'int' of schema attribute 'count' does not meet the index signature definition [str]: str
|

可以尝试以下步骤来修复这个错误:

  • 调整 Schema 属性或者调整索引签名。

TypeComplieError [E2G22]

如果在运行 KCL 时遇到错误:

  • TypeComplieError, 对应的 encode 为 E2G22

那么此时 KCL 程序中出现了

  • 静态类型检查错误。

可能出现错误的 KCL 程序片段如下:

schema Person:
firstName: str
lastName: int

JohnDoe = Person {
"firstName": "John",
"lastName": "Doe" # Schema中定义lastName: int
}

KCL 在运行上述 KCL 程序片段时的输出信息如下.

error[E2G22]: TypeError
--> type/type_fail_0/main.k:7:5
|
7 | "lastName": "Doe" # Type Error,lastName: int,“Doe” is a string.
| ^ expected int, got str(Doe)
|

--> type/type_fail_0/main.k:3:5
|
3 | lastName: int
| ^ variable is defined here, its type is int, but got str(Doe)
|

可以尝试以下步骤来修复这个错误:

  • 检查赋给某个变量的值的类型与这个变量的类型是否一致。

###0 CompileError [E2L23]

如果在运行 KCL 时遇到错误:

  • CompileError, 对应的 encode 为 E2L23

那么此时 KCL 程序中出现了

  1. 不支持的类型合并

可能出现错误的 KCL 程序片段如下:

_data = [1, 2, 3]
_data |= "value"

KCL 在运行上述 KCL 程序片段时的输出信息如下.

error[E2G22]: TypeError
--> union/fail/fail_1/main.k:2:1
|
2 | _data |= "value"
| ^ unsupported operand type(s) for |: '[int]' and 'str(value)'
|
  1. 不支持的操作符类型

可能出现错误的 KCL 程序片段如下:

a = None
b = 1 + None # KCL中不支持None和int之间进行+操作

KCL 在运行上述 KCL 程序片段时的输出信息如下.

error[E2G22]: TypeError
--> operator/operator_fail_0/main.k:2:5
|
2 | b = 1 + None # Unsupport operand type + for int and None
| ^ unsupported operand type(s) for +: 'int(1)' and 'NoneType'
|

可以尝试以下步骤来修复这个错误:

  • 调整操作符号,使其同时支持两个操作数的类型。
  • 调整操作数,使其同时符合操作符号的约束。
  1. 没有定义的变量

可能出现错误的 KCL 程序片段如下:

a = 1
b = "${c + 1}" # 'c' 没有定义

KCL 在运行上述 KCL 程序片段时的输出信息如下.

error[E2L23]: CompileError
--> var_not_define_fail_0/main.k:2:8
|
2 | b = "${c + 1}" # 'c' is not defined
| ^ name 'c' is not defined
|

可以尝试以下步骤来修复这个错误:

  • 对未定义的变量进行定义。
  • 在表达式中去掉对未定义变量的操作。
  1. 无效的赋值表达式

可能出现错误的 KCL 程序片段如下:

# pkg.k
a = 1

# main.k
import pkg
pkg.a |= 2

KCL 在运行上述 KCL 程序片段时的输出信息如下.

error[E2G22]: TypeError
--> pkg_inplace_modify_1/main.k:3:1
|
6 | pkg |= 2
| ^ unsupported operand type(s) for |: 'module 'pkg'' and 'int(2)'
|

可以尝试以下步骤来修复这个错误:

  • 检查赋值表达式的内容。
  1. 无效的字符串表达式

可能出现错误的 KCL 程序片段如下:

a = 1
b = "${b = a + 1}" # Invalid string interpolation expression

KCL 在运行上述 KCL 程序片段时的输出信息如下.

error[E2L23]: CompileError
--> invalid_format_value_fail_0/main.k:2:5
|
2 | b = "${b = a + 1}"
| 5 ^ invalid string interpolation expression 'b = a + 1'
|

可以尝试以下步骤来修复这个错误:

  • 检查字符串表达式的内容。
  1. 无效的循环变量

可能出现错误的 KCL 程序片段如下:

data = {"key1": "value1", "key2": "value2"}
dataLoop = [i for i, j, k in data] # the number of loop variables can only be 1 or 2

KCL 在运行上述 KCL 程序片段时的输出信息如下.

error[E2L23]: CompileError
--> dict/invalid_loop_var_fail_0/main.k:2:25
|
2 | dataLoop = [i for i, j, k in data] # the number of loop variables can only be 1 or 2
| ^ the number of loop variables is 3, which can only be 1 or 2
|

NameError [E2L25]

如果在运行 KCL 时遇到错误:

  • KCLNameError, 对应的 encode 为 E2L25

那么此时 KCL 程序中出现了

  • 试图访问的变量名不存在

可以尝试以下步骤来修复这个错误:

  • 检查报错信息中出现的变量是否存在。

ValueError [E2L26]

如果在运行 KCL 时遇到错误:

  • KCLValueError, 对应的 encode 为 E2L26

那么此时 KCL 程序中出现了

  • 值错误,传给参数的类型不正确

可以尝试以下步骤来修复这个错误:

  • 检查参数的具体类型。

KeyError [E2L27]

如果在运行 KCL 时遇到错误:

  • KCLKeyError, 对应的 encode 为 E2L27

那么此时 KCL 程序中出现了

  • 使用了 dict 中不存在的 key 时引发的 key 错误

可以尝试以下步骤来修复这个错误:

  • 检查字典中是否存在 key。

UniqueKeyError [E2L28]

如果在运行 KCL 时遇到错误:

  • UniqueKeyError, 对应的 encode 为 E2L28

那么此时 KCL 程序中出现了

  • 变量同名或重复定义。

可能出现错误的 KCL 程序片段如下:

schema Person:
name: str = "kcl"
age: int = 1

schema Person:
aa: int

x0 = Person{}
x1 = Person{age:101}

KCL 在运行上述 KCL 程序片段时的输出信息如下.

error[E2L28]: UniqueKeyError
--> /schema/same_name/main.k:5:8
|
5 | schema Person:
| ^ Unique key error name 'Person'
|

--> /schema/same_name/main.k:1:8
|
1 | schema Person:
| ^ The variable 'Person' is declared here
|

可以尝试以下步骤来修复这个错误:

  • 检查出现错误的名称是否已经被使用。

AttributeComplieError [E2A29]

如果在运行 KCL 时遇到错误:

  • KCLAttributeComplieError, 对应的 encode 为 E2A29

那么此时 KCL 程序中出现了

  • Schema 的属性错误。

可能出现错误的 KCL 程序片段如下:

# pkg
schema A:
field_A: str

# main
import pkg as p

a = p.D + 1

KCL 在运行上述 KCL 程序片段时的输出信息如下.

error[E2G22]: TypeError
--> /import/module/no_module_attr_fail_0/main.k:4:5
|
4 | a = p.D + 1
| ^ module 'pkg' has no attribute D
|

可以尝试以下步骤来修复这个错误:

  • 在使用 Schema 属性时检查这个属性是否存在。

MultiInheritError [E2D32]

如果在运行 KCL 时遇到错误:

  • MultiInheritError, 对应的 encode 为 E2D32

那么此时 KCL 程序中出现了

  • 多继承错误。

可能出现错误的 KCL 程序片段如下:

schema Person:
firstName: str
lastName: str

schema KnowledgeMixin:
firstName: int
subject: str

schema Scholar(KnowledgeMixin, Person): # KCL中不支持多继承
school: str

KCL 在运行上述 KCL 程序片段时的输出信息如下.

error[E1001]: InvalidSyntax
--> /schema/inherit/multi_inherit_fail_1/main.k:9:30
|
9 | schema Scholar(KnowledgeMixin, Person):
| ^ expected one of [")"] got ,
|

可以尝试以下步骤来修复这个错误:

  • 检查程序的继承结构,KCL 中不支持多继承。

IllegalInheritError [E2D34]

如果在运行 KCL 时遇到错误:

  • IllegalInheritError, 对应的 encode 为 E2D34

那么此时 KCL 程序中出现了

  • 不合法的继承结构

可能出现错误的 KCL 程序片段如下:

schema FullnameMixin:
fullName = "{} {}".format(firstName, lastName)

schema Scholar(FullnameMixin): # KCL中不支持Schema继承Mixin
school: str

KCL 在运行上述 KCL 程序片段时的输出信息如下.

error[E3M38]: EvaluationError
Invalid value for top level arguments

可以尝试以下步骤来修复这个错误:

  • KCL 中 Schema 支持单继承 Schema。

IllegalArgumentComplieError [E2I36]

如果在运行 KCL 时遇到错误:

  • IllegalArgumentComplieError, 对应的 encode 为 E2I36

那么此时 KCL 程序中出现了

  • 参数错误

可能出现错误的 KCL 程序片段如下:

a = option("key")

# kcl main.k -D key=value=
# key=value= is an illegal expression

KCL 在运行上述 KCL 程序片段时的输出信息如下.

error[E3M38]: EvaluationError
Invalid value for top level arguments

可以尝试以下步骤来修复这个错误:

  • 检查通过命令设置的 KCL option 参数是否为合法参数。

ImmutableCompileError [E3L41]

如果在运行 KCL 时遇到错误:

  • ImmutableCompileError, 对应的 encode 为 E3L41

那么此时 KCL 程序中出现了

  • 不可变量的值发生改变

可能出现错误的 KCL 程序片段如下:

a = 2147483646
a += 1

KCL 在运行上述 KCL 程序片段时的输出信息如下.

error[E1001]: ImmutableError
--> augment_assign/main.k:2:1
|
2 | a += 1
| ^ Immutable variable 'a' is modified during compiling
|

--> augment_assign/main.k:1:1
|
1 | a = 2147483646
| ^ The variable 'a' is declared here firstly
|
note: change the variable name to '_a' to make it mutable

可以尝试以下步骤来修复这个错误:

  • 将被改变的不可变量设置为私有或者去掉对不可变量值的改动。

1.3 KCL 运行时错误 (E3xxx)

KCL 会出现的运行时错误信息如下表所示:

ewcodeKCL exceptionmessages
E3F06RecursiveLoadRecursively loading module
E3K04FloatOverflowFloat overflow
E3K09IntOverflowInteger overflow
E3N11DeprecatedErrorDeprecated error
E3A30KCLAttributeRuntimeErrorAttribute error occurs at runtime
E3G21TypeRuntimeErrorThe type got is inconsistent with the type expected
E3B17SchemaCheckFailureSchema check is failed to check condition
E3B19CannotAddMembersRuntimeErrorCannot add members to a schema
E3M38EvaluationErrorEvaluation failure
E3M39InvalidFormatSpecInvalid format specification
E3M40KCLAssertionErrorAssertion failure
E3M44ImmutableRuntimeErrorImmutable variable is modified
E2D33CycleInheritErrorCycle Inheritance is illegal
E3M42KCLRecursionErrorRecursively reference

RecursiveLoad [E3F06]

如果在运行 KCL 时遇到错误:

  • RecursiveLoad, 对应的 encode 为 E3F06

那么此时 KCL 程序中出现了

  • 循环导入错误

可能出现错误的 KCL 程序片段如下:

# module.k
import main # module.k 导入了 main.k

print('module')

# main.k
import module # main.k 导入了 module.k

print('main')

KCL 在运行上述 KCL 程序片段时的输出信息如下.

error[E2L23]: CompileError
--> /import/recursive_import_fail/main.k:4
|
2 | import module # main.k imports module.k
| ^ There is a circular import reference between module main and module
|

可以尝试以下步骤来修复这个错误:

  • 检查包的导入部分是否存在循环导入的问题。

FloatOverflow [E3K04]

如果在运行 KCL 时遇到错误:

  • FloatOverflow, 对应的 encode 为 E3K04

那么此时 KCL 程序中出现了

  • 浮点数溢出

可能出现错误的 KCL 程序片段如下:

uplimit = 3.402823466e+39
epsilon = 2.220446049250313e-16
a = uplimit * (1 + epsilon)

# kcl main.k -r -d

KCL 在运行上述 KCL 程序片段时的输出信息如下.

error[E3M38]: EvaluationError
--> /range_check_float/overflow/number_0/main.k:3:1
|
3 | a = uplimit * (1 + epsilon)
| 3.4028234660000003e+39: A 32-bit floating point number overflow
|

可以尝试以下步骤来修复这个错误:

  • 检查浮点数的值是否在 KCL 支持的数字范围内。

IntOverflow [E3K09]

如果在运行 KCL 时遇到错误:

  • IntOverflow, 对应的 encode 为 E3K09

那么此时 KCL 程序中出现了

  • 整数溢出

可能出现错误的 KCL 程序片段如下:

_a = 9223372036854775807
_a += 1

# kcl test.k -d

KCL 在运行上述 KCL 程序片段时的输出信息如下.

error[E3M38]: EvaluationError
--> /range_check_int/augment_assign_fail_1/main.k:2:1
|
2 | _a += 1
| 9223372036854775808: A 64 bit integer overflow
|

可以尝试以下步骤来修复这个错误:

  • 检查整数的值是否在 KCL 支持的数字范围内。

DeprecatedError [E3N11]

如果在运行 KCL 时遇到错误:

  • DeprecatedError, 对应的 encode 为 E3N11

那么此时 KCL 程序中出现了

  • 使用废弃代码

可能出现错误的 KCL 程序片段如下:

schema Person:
firstName: str = "John"
lastName: str
@deprecated(version="1.16", reason="use firstName and lastName instead", strict=True)
name: str

JohnDoe = Person {
name: "deprecated" # name已经被过时,并且strict设置为True
}

KCL 在运行上述 KCL 程序片段时的输出信息如下.

error[E3M38]: EvaluationError
--> /range_check_float/overflow/number_0/main.k:7:1
|
7 | JohnDoe = Person {
| name was deprecated since version 1.16, use firstName and lastName instead
|

可以尝试以下步骤来修复这个错误:

  • strict 设置为 True 时无法使用过时的代码,可以将 strict 设置为 False,将不会出现错误,而是输出一个警告。
  • 调整代码,不使用已经过时的代码。

AttributeRuntimeError [E3A30]

如果在运行 KCL 时遇到错误:

  • KCLAttributeRuntimeError, 对应的 encode 为 E3A30

那么此时 KCL 程序中出现了

  • 属性错误。

可能出现错误的 KCL 程序片段如下:

import math

a = math.err_func(1) # err_func is not found in math

KCL 在运行上述 KCL 程序片段时的输出信息如下.

error[E3M38]: EvaluationError
--> /import/module/no_module_attr_fail_2/main.k:3:5
|
3 | a = math.err_func(1) # err_func is not found in math
| ^ module 'math' has no attribute err_func
|

可以尝试以下步骤来修复这个错误:

  • 检查属性调用是否正确。

TypeRuntimeError [E3G21]

如果在运行 KCL 时遇到错误:

  • TypeRuntimeError, 对应的 encode 为 E3G21

那么此时 KCL 程序中出现了

  • 类型检查错误

可能出现错误的 KCL 程序片段如下:

schema Person:
name: str = "Alice"

_personA = Person {}
_personA |= {"name" = 123.0} # name: str = "Alice"
personA = _personA

KCL 在运行上述 KCL 程序片段时的输出信息如下.

error[E3M38]: EvaluationError
--> /fail/fail_4/main.k:2:1
|
2 | name: str = "Alice"
| expect str, got float
|

可以尝试以下步骤来修复这个错误:

  • 停止错误的类型合并或者将类型调整为 KCL 支持的类型合并。

SchemaCheckFailure [E3B17]

如果在运行 KCL 时遇到错误:

  • SchemaCheckFailure, 对应的 encode 为 E3B17

那么此时 KCL 程序中出现了

  • Schema 中的 check 条件冲突

可能出现错误的 KCL 程序片段如下:

schema Person:
lastName: str
age: int
check:
age < 140, "age is too large"

JohnDoe = Person {
"lastName": "Doe",
"age": 1000 # Schema中的check条件为: age < 140
}

KCL 在运行上述 KCL 程序片段时的输出信息如下.

error[E3M38]: EvaluationError
--> /check_block/check_block_fail_1/main.k:7:11
|
7 | JohnDoe = Person {
| ^ Instance check failed
|

--> /check_block/check_block_fail_1/main.k:5:1
|
5 | age < 140, "age is too large"
| Check failed on the condition
|

可以尝试以下步骤来修复这个错误:

  • 检查 Schema 的属性与 check 中的条件是否符合

CannotAddMembersRuntimeError [E3B19]

如果在运行 KCL 时遇到错误:

  • CannotAddMembersRuntimeError, 对应的 encode 为 E3B19

那么此时 KCL 程序中出现了

  • 访问 Schema 中不存在的成员

可能出现错误的 KCL 程序片段如下:

schema Name:
name: str

schema Person:
name: Name

person = Person {
name.err_name: "Alice" # err_name is not found in schema Name
}

KCL 在运行上述 KCL 程序片段时的输出信息如下.

error[E2L23]: CompileError
--> /nest_var/nest_var_fail_1/main.k:8:5
|
8 | name.err_name: "Alice" # err_name is not found in schema Name
| ^ Cannot add member 'err_name' to schema 'Name'
|

可以尝试以下步骤来修复这个错误:

  • 为 Schema 添加不存在的成员。
  • 访问 Schema 中存在的成员。

EvaluationError [E3M38]

如果在运行 KCL 时遇到错误:

  • EvaluationError, 对应的 encode 为 E3M38

那么此时 KCL 程序中出现了

  • 当 KCL 中数值计算过程出现了错误。

可能出现错误的 KCL 程序片段如下:

_list1 = [1, 2, 3] # _list1 is a variable, and its type can only be known at runtime
_list2 = None # _list1 is a variable, and its type can only be known at runtime

result2 = _list1 + _list2 # list + NoneType is illegal

KCL 在运行上述 KCL 程序片段时的输出信息如下.

error[E3M38]: EvaluationError
--> /datatype/list/add_None_fail/main.k:1
|
4 | result2 = _list1 + _list2 # list + NoneType is illegal
| can only concatenate list (not "NoneType") to list
|

可以尝试以下步骤来修复这个错误:

  • 检查表达式中是否存在变量为 None,或者非法的计算过程。

###0 InvalidFormatSpec [E3M39]

如果在运行 KCL 时遇到错误:

  • InvalidFormatSpec, 对应的 encode 为 E3M39

那么此时 KCL 程序中出现了

  • 非法的字符串格式

可能出现错误的 KCL 程序片段如下:

a = 1
b = 1
data = "${a: #js}" + " $$ " # KCL插值字符串中,#js是非法的

KCL 在运行上述 KCL 程序片段时的输出信息如下.

error[E2L23]: CompileError
--> /datatype/str_interpolation/invalid_format_spec_fail_0/main.k:3
|
3 | data = "${a: #js}" + " $$ " # #js is illegal string
| ^ #js is a invalid format spec
|

可以尝试以下步骤来修复这个错误:

  • 将非法 String 调整为 KCL 标准支持的 String。

AssertionError [E3M40]

如果在运行 KCL 时遇到错误:

  • KCLAssertionError, 对应的 encode 为 E3M40

那么此时 KCL 程序中出现了

  • Assert False

可能出现错误的 KCL 程序片段如下:

assert False

KCL 在运行上述 KCL 程序片段时的输出信息如下.

error[E3M38]: EvaluationError
--> /assert/invalid/fail_0/main.k:1
|
1 | assert False
|
|

可以尝试以下步骤来修复这个错误:

  • 检查 Assert 的条件,Assert 条件为 False 时,就会出现此类错误,去掉 Assert 语句或改变条件为 True。

ImmutableRuntimeError [E3M44]

如果在运行 KCL 时遇到错误:

  • ImmutableRuntimeError, 对应的 encode 为 E3M44

那么此时 KCL 程序中出现了

  • 不可变量的值发生改变

可能出现错误的 KCL 程序片段如下:

schema Person:
final firstName : str
lastName : str


schema Scholar(Person):
firstName = "CBA"


scholar = Scholar {
"firstName": "ABC" # firstName in schema Person is final.
}

KCL 在运行上述 KCL 程序片段时的输出信息如下.

error[E3M38]: EvaluationError
--> /final/fail_lazy_init_0/main.k:8:1
|
8 | scholar = Scholar {
| attribute 'lastName' of Scholar is required and can't be None or Undefined
|

可以尝试以下步骤来修复这个错误:

  • 检查 final 修饰的不可变量是否出现了赋值等改变值的操作。

CycleInheritError [E2D33]

如果在运行 KCL 时遇到错误:

  • CycleInheritError, 对应的 encode 为 E2D33

那么此时 KCL 程序中出现了

  • 循环继承

可能出现错误的 KCL 程序片段如下:

schema Parent(Son):
parent_field: str

schema Son(GrandSon):
son_field: str

schema GrandSon(Parent):
grandson_field: str

parent = Parent {
parent_field: ""
}

KCL 在运行上述 KCL 程序片段时的输出信息如下.

error[E2L23]: CompileError
--> /inherit/cycle_inherit_fail_1/main.k:7:8
|
7 | schema GrandSon(Parent):
| ^ There is a circular reference between schema GrandSon and Parent
|

可以尝试以下步骤来修复这个错误:

  • 检查 Schema 的继承关系,避免出现 A 继承 B,B 继承 A 的情况。

RecursionError [E3M42]

如果在运行 KCL 时遇到错误:

  • KCLRecursionError, 对应的 encode 为 E3M42

那么此时 KCL 程序中出现了

  • 循环引用

可能出现错误的 KCL 程序片段如下:

schema Parent(Son):
parent_field: str
son: Son = Son { # Parent has attribute Son
parent: Parent {
parent_field: "123"
}
}

schema Son:
son_field: str
parent: Parent = Parent { # Son has attribute Parent
son: Son {
son_field: "123"
}
}

parent = Parent {
parent_field: "",
}

KCL 在运行上述 KCL 程序片段时的输出信息如下.

thread 'main' has overflowed its stack
fatal runtime error: stack overflow

可以尝试以下步骤来修复这个错误:

  • 检查 Schema 中的属性成员,避免出现循环引用的问题。

1.4 KCL 编译警告 (W2xxx)

KCL 中的编译警告如下表所示:

ewcodeKCL exceptionmessages
W2K04FloatUnderflowFloat underflow
W2P10InvalidDocstringInvalid docstring
W2N12DeprecatedWarningDeprecated warning

FloatUnderflow [W2K08]

如果在运行 KCL 时遇到错误:

  • FloatUnderflow, 对应的 encode 为 W2K08

可以尝试以下步骤来修复这个错误:

  • 检查浮点数的值是否在 KCL 支持的数字范围内。

InvalidDocstring [W2P10]

如果在运行 KCL 时遇到错误:

  • InvalidDocstring, 对应的 encode 为 W2P10

那么此时 KCL 程序中出现了

  • 无效的 doc 内容

可以尝试以下步骤来修复这个错误:

  • 请按照 KCL 标准编写 doc。

DeprecatedWarning [W2N12]

如果在运行 KCL 时遇到错误:

  • DeprecatedWarning, 对应的 encode 为 W2N12

那么此时 KCL 程序中出现了

  • 过时的代码警告

可以尝试以下步骤来修复这个错误:

  • 尽量不要使用已经过时的代码。如果将 strict 设置为 True,KCL 将会输出错误,并停止运行。