C++中非類型模板參數(nontype template parameters) 的使用

非類型模板參數(nontype template parameters), 可以使用整型類型(integral type),指針(pointer) 或者是 引用(reference);

綁定非類型整數形參(nontype integral parameter) 的 實參(argument) 必須是常量表達式(constant expression, constexpr);

不能把普通的局部對象或者動態對象 綁定 指針或引用的非類型形參, 可以使用全局類型進行綁定;

關於類模板(class template)中非類型模板參數的寫法,參見: http://en.cppreference.com/w/cpp/language/class_template

下面例子包含了模板類型是 整型, 指針, 引用, 函數指針 的函數的常見寫法;

注意指針和引用的實參是全局變量;

代碼如下:

//=====================================  
// Name        : CppPrimer.cpp  
// Author      : Caroline  
// Version     : 1.0  
// Description : Example, UTF-8  
//=====================================  
      
/*eclipse cdt, gcc 4.8.1*/
      
#include <iostream>  
#include <vector>  
#include <cstring>  
      
using namespace std;  
      
//整型模板  
template<unsigned N, unsigned M>  
bool compare (const char (&p1)[N], const char (&p2)[M])  
{  
    std::cout << "size : " << N << " " << M << std::endl;  
    return strcmp(p1, p2);  
}  
      
//指針  
template<const char* C>  
void pointerT(const char* str){  
    std::cout << C << " " << str << std::endl;  
}  
      
//引用  
template<char (&ra)[9]>  
void referenceT(const char* str){  
    std::cout << ra << " " << str << std::endl;  
}  
      
char ca[] = "Caroline"; //初始化指針  
char cr[9] = "Caroline"; //初始化引用, 包含一個結尾符號  
      
void f(const char* c) {std::cout << c << std::endl; }  
      
//函數指針  
template<void (*F)(const char*)>  
void fpointerT(const char* c) {  
    F(c);  
}  
      
int main(void)  
{  
    if(compare("Caroline", "Wendy")) {  
        std::cout << "Caroline is long." << std::endl;  
    } else {  
        std::cout << "Wendy is long." << std::endl;  
    }  
      
    //無法使用局部變量或者動態變量作為模板參數  
    pointerT<ca>("Wendy"); //指針  
      
    referenceT<cr>("Wendy"); //引用  
      
    fpointerT<f>("Caroline Wendy"); //函數指針  
      
    return 0;  
}

輸出:

size : 9 6  
Caroline is long.  
Caroline Wendy  
Caroline Wendy  
Caroline Wendy

作者：csdn博客 Spike_King