T代表逻辑型常量逻辑真。
出自:计算机科学