待验证50% 置信事实精确时间

`#if` 和 `defined` 可以组合出编译期的布尔逻辑，用于构建简单的类型检查或配置选择器。

1

来源数

50%

置信度

长期有效

时效性

2026/10/18

首次发现

来源

扩展C预处理器：趣味编程实验

rss2026/10/15

涉及实体

C预处理器concept

相关事实

待验证TypeApplications扩展允许在表达式层面显式指定类型参数（如read @Int）。71% 相似待验证当为Functor定义实例时，编译器会检查目标类型的Kind是否为* -> *；如果传入Kind为*的类型（如Int），编译器会报错。71% 相似待验证TypeScript的类型收窄通过条件检查让编译器在特定代码分支中获得更精确的类型信息70% 相似待验证类型提示不会改变程序的运行行为，但配合mypy等静态类型检查工具可在代码运行前捕获类型错误67% 相似待验证依赖类型允许类型本身依赖于值，例如可定义'长度为n的列表'类型，使许多运行时性质得以在编译期静态保证66% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/1059029

API

curl https://kongchang.com/api/v1/knowledge/claims/1059029

MCP

get_claim(id=1059029)