varchar类型怎么补0

Question

数据库建表或者修改表
怎么让varchar类型不足12位在前面补0，补够12位

Answer 1

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);
}