varchar类型怎么补有知道吗？

varchar 自己干不了这个, 写入数据前, 或者读出数据后, 自己补

mysql 可以用 lpad 函数:
​​select lpad('1234567890', 12, '0');​​

php 用 str_pad:
​​echo str_pad('1234567890', 12, '0', STR_PAD_LEFT);​​

js 用 String.padStart
​​'1234567890'.padStart(12, '0')​​

python 用rjust
​​'1234567890'.rjust(12, '0')​​

java 用 String.format 自己写个函数, 或者三方提供的 StringUtils

String x = "1234567890";
if (x.length() < 12) {
    System.out.println(String.format("%s%s", String.format("%0" + (12 - x.length()) + "d", 0), x));
} else {
    System.out.println(x);
}