varcahr(m) key_len=m*3+2

MySQL优化器会扩展使用索引，使用key_length会变长
http://dev.mysql.com/doc/refman/5.6/en/index-extensions.html

建议大家看EXPLAIN OUTPUT的时最好加上FORMAT=JSON，会得到更多有用的信息
在5.7里面已经默认为JSON格式

to be continued…