BigQuery中字符串作为第一类类型的含义及与Reified Type的关联

在BigQuery的SQL语境里，“字符串是第一类类型”指字符串值具备**第一类公民（First-Class Citizen）**的全部特性，具体表现为：

• 可赋值给变量：通过DECLARE语句直接将字符串绑定到变量，比如 DECLARE user_name STRING DEFAULT "Vicktor";
• 可作为函数参数传递：无论是内置函数还是自定义UDF，都能直接传入字符串字面量或变量，比如 SELECT CONCAT("Hello, ", user_name);
• 可作为函数返回值：自定义函数可以明确返回STRING类型，比如 CREATE FUNCTION get_greeting() RETURNS STRING AS ( "Hello BigQuery" );
• 可存储在复杂数据结构中：字符串能作为数组、结构体的元素，比如 SELECT ["apple", "banana"] AS fruit_list, STRUCT("id" AS key, "123" AS value) AS str_struct;
• 可在运行时动态构造与操作：支持字符串拼接、格式化等动态操作，比如 SELECT FORMAT("User %s has %d points", user_name, 100);

首先明确：**Reified Type（具体化类型）**指类型信息在查询运行时是可访问、可验证的，而非仅在查询解析/编译阶段存在。两者的关联体现在以下几点：

1. 第一类类型依赖具体化类型的支持
   BigQuery中所有第一类类型（包括STRING）都是具体化的。要实现第一类类型的核心特性（传递、存储、动态操作），系统必须在运行时能识别并追踪每个值的类型。比如当你将字符串存入数组或作为参数传递给函数时，BigQuery在运行时会检查类型兼容性，这完全依赖于类型信息的具体化。

2. 具体化类型强化了第一类类型的灵活性
   因为STRING是具体化类型，你可以在运行时执行类型相关的操作，比如用TYPEOF函数获取值的类型：SELECT TYPEOF("test");会返回STRING。如果类型不是具体化的，这类运行时类型检查、动态类型转换就无法实现，第一类类型的实用性会大幅降低。

3. 在BigQuery中，第一类类型与具体化类型高度重合
   BigQuery的核心数据类型（STRING、INT64、BOOL等）既是第一类类型，也是具体化类型。这是因为BigQuery的查询执行模型需要动态处理数据——要支持SQL的灵活查询逻辑，必须让类型信息在运行时可访问，同时让类型实例能自由传递、存储，两者相辅相成。

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