函数模板、重载与变参

如何通过一个程序判定一个变量是不是指针？

1. 函数匹配优先级

在C++中包含了重载函数、函数模板和变参函数，这几个函数之间的匹配优先级是什么样子的？

 2.3 模板与重载

函数模板可以像普通函数一样被重载，C++编译器优先考虑普通函数，如果函数模板可以产生一个更好的匹配，那么选择木板。项目中可以通过空模板实参列表限定编译器只匹配模板。

#include <iostream>
#include <string>

using namespace std;


template < typename T >
T Max(T a, T b)
{
    cout << "T Max(T a, T b)" << endl;

    return a > b ? a : b;
}

int Max(int a, int b)
{
    cout << "int Max(int a, int b)" << endl;

    return a > b ? a : b;
}

template < typename T >
T Max(T a, T b, T c)
{
    cout << "T Max(T a, T b, T c)" << endl;

    return Max(Max(a, b), c);
}

int main()
{
    int a = 1;
    int b = 2;

    cout << Max(a, b) << endl;                   // 普通函数 Max(int, int)
    cout << Max<>(a, b) << endl;                 // 函数模板 Max<int>(int, int)
    cout << Max(3.0, 4.0) << endl;               // 函数模板 Max<double>(double, double)
    cout << Max(5.0, 6.0, 7.0) << endl;          // 函数模板 Max<double>(double, double, double)
    cout << Max('a', 100) << endl;               // 普通函数 Max(int, int)

    return 0;
}

2. 利用函数模板和变参函数

#include <iostream>
#include <string>

using namespace std;

class Test
{
public:
    Test()
    {
    }
    virtual ~Test()
    {
    }
};

template
<typename T>
char IsPtr(T* v) // match pointer
{
    return 'd';
}

int IsPtr(...)  // match non-pointer
{
    return 0;
}

#define ISPTR(p) (sizeof(IsPtr(p)) == sizeof(char))

int main(int argc, char *argv[])
{
    int i = 0;
    int* p = &i;

    cout << "p is a pointer: " << ISPTR(p) << endl;    // true
    cout << "i is a pointer: " << ISPTR(i) << endl;    // false

    Test t;
    Test* pt = &t;

    cout << "pt is a pointer: " << ISPTR(pt) << endl;    // true
    cout << "t is a pointer: " << ISPTR(t) << endl;    // false

    return 0;
}