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

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

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

1 个赞

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

大概看了下源码有个大致的方向
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 个赞

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