利用SFINAE，在没有特化类型带入模板的时候显示错误代码啊，这不是传统技能么

后来改成static_assert()里用concept就好了

是不是因为现在有module，所以即使代码里没有用到的模板代码，也要类似预先编译一次？以前模板里的代码，要是没有被使用过，是不会被编译的

【 在 mvtec 的大作中提到: 】
: 你这出错太正常了
: 不知道你的意图是什么
--
FROM 122.234.59.*