首页文章列表标签墙返回找工具啦

编译期检查共 2 篇文章

Dart 类型推断：var 与 dynamic

2026-04-03 23:54:27

Dart 类型推断：var 与 dynamic Dart 是一种类型安全的语言，支持静态类型检查。但在日常开发中，你可能会看到两种写法：用 var 声明变量，或用 dynamic 声明变量。它们看起来都能“自动”适应任何值，但行为完全不同。搞混它们会导致运行时错误、性能下降，甚至破坏类型安全机制。

Dart 类型推断 var

C++模板元编程实现编译期类型检查

2026-04-02 07:46:42

C++模板元编程实现编译期类型检查 C++模板元编程（Template Metaprogramming, TMP）允许你在编译阶段执行逻辑判断和计算，从而在代码还未运行时就完成类型验证、错误拦截或优化决策。其中一项核心用途是实现编译期类型检查：确保传入模板的类型满足特定约束，若不满足则直接报错，避免

C++模板编译期检查类型约束