求字符串隐式转换这块的源码

🪐 TiDB 技术问题
1

想求一下隐式转换这块的源码，主要想验证一个问题
select 0='abc’是true;
select 0='1abc’是false;这点与mysql的行为一致，但是比较不符合认知

2

盲猜是做了类型转换，加引号的时候，结果一致。
SELECT ‘0’=‘1abc’
SELECT ‘0’=‘abc’

1 个赞
3

是做了类型转换,cast可以看出，只要最左位不是数值就会转换为0，与mysql一致，所以想看下源码猜猜

4

大概看了下源码有个大致的方向
https://github.com/pingcap/tidb/blob/master/types/convert.go

func StrToInt(sc *stmtctx.StatementContext, str string, isFuncCast bool) (int64, error) {
str = strings.TrimSpace(str)
validPrefix, err := getValidIntPrefix(sc, str, isFuncCast)
iVal, err1 := strconv.ParseInt(validPrefix, 10, 64)
if err1 != nil {
	return iVal, ErrOverflow.GenWithStackByArgs("BIGINT", validPrefix)
}
return iVal, errors.Trace(err)

}

func getValidIntPrefix(sc *stmtctx.StatementContext, str string, isFuncCast bool) (string, error) {
if !isFuncCast {
	floatPrefix, err := getValidFloatPrefix(sc, str, isFuncCast)
	if err != nil {
		return floatPrefix, errors.Trace(err)
	}
	return floatStrToIntStr(sc, floatPrefix, str)
}

validLen := 0

for i := 0; i < len(str); i++ {
	c := str[i]
	if (c == '+' || c == '-') && i == 0 {
		continue
	}

	if c >= '0' && c <= '9' {
		validLen = i + 1
		continue
	}

	break
}
valid := str[:validLen]
if valid == "" {
	valid = "0"
}
if validLen == 0 || validLen != len(str) {
	return valid, errors.Trace(sc.HandleTruncate(ErrTruncatedWrongVal.GenWithStackByArgs("INTEGER", str)))
}
return valid, nil

}

通过这里可以看到，首先对字符串进行一个去空格的操作，然后从最左边开始遍历字符串，如果字符串的在0到9之间则继续遍历，如果不在这个区间则停止，valid为取到的最左位在0-9的个数，如果第一位就不在0-9则取值为0，所以这也解释了select ‘abc’=0位true的现象

3 个赞
5

此话题已在最后回复的 1 分钟后被自动关闭。不再允许新回复。