怎样区分 const char* 和字符串文字量

在一个面试中，猛然间一闪念，问到了 candidate 这个问题。无解……

stl 中使用到了很多 traits 技术，只要懂得 traits ，这个问题就太简单了！以下是代码示例：

软件工程中很多地方，如果采用直接的办法不能解决问题，增加一个间接层，问题即迎刃而解，type_traits 就是这样一种技术，这个代码示例是自包含的，除了 printf ，没有任何其它外部依赖。

#include <stdio.h><br />struct true_{};<br />struct false_{};<br />template<class T> struct isarray;<br />template<class T, int N><br />struct isarray<T[N]> { typedef true_ type; };<br />template<class T><br />struct isarray<T* > { typedef false_ type; };<br />void f(const char* s, false_) {<br /> printf("const char*/n");<br />}<br />template<int N><br />void f(char const (&s)[N], true_) {<br /> printf("const char[N=%d]/n", N);<br />}<br />template<class T><br />void f(const T& x) {<br /> f(x, typename isarray<T>::type());<br />}<br />int main() {<br /> const char* pc = "abc";<br /> const char s[] = "1234";<br /> f("123");<br /> f(s);<br /> f(pc);<br /> return 0;<br />}<br /> 

为什么下面这样的代码不能work？

void f(const char* s) {<br /> printf("const char*/n");<br />}<br />template<int N><br />void f(char const (&s)[N]) {<br /> printf("const char[N=%d]/n", N);<br />}<br /> 

答案：C++的重载匹配规则：如果在非模板的候选中能找到一个"精确"匹配，就不会去找模板。"精确"的精确定义包含3大类，5种具体情况，按顺序如下：

Identity Conversion ---- 不需要任何转化，最精确，级别 1

Lvalue to Rvalue Conversion -- 左值到右值转化，  级别 2

Array to Pointer Conversion --- 数组到指针转化，  级别 3

Function to Pointer             --- 函数名到函数指针， 级别 4，这就是为什么很多时候我们不需要使用 &func_name 而直接使用 func_name

Quolification Conversion      --- cv qualify 少的可以转化到 cv qualify 多的，级别 5

这也就是为什么下面的代码可以 work：

template<class T><br />void f(T x) { printf("f(T)/n"); }<br />void f(int x) { printf("f(int)/n"); }<br />.....<br />f(1); // call f(int)<br />f(1L); // call f(T)<br />f('c'); // call f(T) 

char -> int 不是 exact match, 是 integeral promotion.

long -> int 不是 exact match, 是 integeral conversion.