WITH 子句

CREATE CAST 语句的 WITH 子句指定要调用的用户定义函数的名称，来执行强制转型。该函数称为强制转型函数。

除非源数据类型和目标数据类型有相同的表示法，否则您必须指定函数名称。当满足以下条件时两种数据类型有相同的表示法：

强制转型函数注册的数据库必须与调用强制转型时强制转型所在的数据库是同一数据库，但在创建强制转型时不需要存在。CREATE CAST 语句不检查特定函数名称上的许可，甚至不检查强制转型的存在。每次用户显式或隐式调用强制转型，数据库服务器验证用户在强制转型函数上是否有 Execute 权限。