C++實現模板中的非類型參數的方法

Posted on by

非類型模板參看，顧名思義，模板參數不限定於類型，普通值也可作為模板參數。在基於類型的模板中，模板實例化時所依賴的是某一類型的模板參數，你定義瞭一些模板參數（template<typename T>）未加確定的代碼，直到模板被實例化這些參數細節才真正被確定。而非類型模板參數，面對的未加確定的參數細節是指（value），而非類型。當要使用基於值的模板時，你必須顯式地指定這些值，模板方可被實例化。

在函數模板中使用非類型參數

#include<iostream>
using namespace std;
//在函數模板中使用非類型參數
template<class T>void Swap(T &a, T &b);
template<typename T, unsigned N>void Swap(T (&a)[N],T (&b)[N]);

template<typename T, unsigned N>void printArray(T (&arr)[N]);

int main(){
 int m = 10, n = 90;
 Swap(m,n);
 cout << "m = " << m << ", n = " << n << endl;

 int a[5] = { 1, 2, 3, 4, 5 };
 int b[5] = { 10, 20, 30, 40, 50 };
 Swap(a, b);
 printArray(a);
 printArray(b);
 return 0;

}

template<class T> void Swap(T &a,T &b){
 T temp = a;
 a = b;
 b = temp;
}

template<class T, unsigned N> void Swap(T (&a)[N],T (&b)[N]){
 T temp;
 for (int i = 0; i < N;i++){
 temp = a[i]; 
 a[i] = b[i];
 b[i] = temp;
 }
}

template<typename T, unsigned N>void printArray(T (&arr)[N]){
 for (int i = 0; i < N;i++){
 if (i == N-1){
  cout << arr[i] << endl;
 }
 else{
  cout << arr[i] << ", ";
 }
 }
}

在類模板中使用非類型參數

#include<iostream>
#include<cstring>
#include<cstdlib>
using namespace std;

//動態數組實現，在類模板中使用非類型參數
template<typename T,int N>
class Array{
public:
 Array();
 ~Array();
public:
 T & operator[](int i);//重載下標運算符
 int length() const{ return m_length; }//獲取數組長度
 bool capacity(int n);//是否可改變數組容量
private:
 int m_length;//數組當前長度
 int m_capacity;//當前內存容量
 T *m_p;//指向數組內存的指針
};

template<typename T,int N>
Array<T, N>::Array(){
 m_p = new T[N];
 m_capacity = m_length = N;
}

template<typename T,int N>
Array<T, N>::~Array(){
 delete[] m_p;
}

template<typename T,int N>
T & Array<T, N>::operator[](int i){
 if (i<0||i>=m_length){
 cout << "Exception:Array index out of bounds!" << endl;
 }
 return m_p[i];
}

template<typename T,int N>
bool Array<T, N>:: capacity(int n){
 if (n>0){
 int len = m_length + n;
 if (len<=m_capacity){
  m_length = len;
  return true;
 }
 else{
  T *pTemp = new T[m_length + 2 * n*sizeof(T)];
  if (NULL==pTemp){
  cout << "Exception: Failed to allocate memory!";
  return false;
  }
  else{ 
  memcpy(pTemp,m_p,m_length*sizeof(T));
  delete[] m_p;
  m_p = pTemp;
  m_capacity = m_length = len;
  }
 }
 }
 else{
 int len = m_length - abs(n);
 if (len<0){
  cout << "Exception:Array length is too small!" << endl;
  return false;
 }
 else{
  m_length = len;
  return true;
 }
 }
}

int main(){
 Array<int, 5> arr;

 for (int i = 0, len = arr.length(); i < len;i++){
 arr[i] = 2 * i;
 }

 cout << "first print:" << endl;
 for (int i = 0, len = arr.length(); i < len;i++){
 cout << arr[i] << " ";
 }
 cout << endl;

 //擴大容量為增加的元素賦值
 arr.capacity(8);
 for (int i = 5, len = arr.length(); i < len;i++){
 arr[i] = 2 * i;
 }

 cout << endl;
 cout << "second print:" << endl;
 for (int i = 0, len = arr.length(); i < len;i++){
 cout << arr[i] << " ";
 }
 cout << endl;

 arr.capacity(-4);
 cout << "third print: " << endl;
 for (int i = 0, len = arr.length(); i < len; i++){
 cout << arr[i] << " ";
 }
 cout << endl;

 return 0;
}

非類型模板參數的限制

非類型模板參數是有類型限制的。一般而言，它可以是常整數（包括enum枚舉類型）或者指向外部鏈接對象的指針。

浮點數和類對象（class-type）不允許作為非類型模板參數：

template<double VAL>      // ERROR： 浮點數不可作為非類型模板參數
double process(double v)
{
  return v * VAL;
}

template<std::string name>   // ERROR：類對象不能作為非類型模板參數
class MyClass
{}


稍作變通，我們即可使編譯通過：

template<double* PVAL>
double process(const double& x)
{
  return x * (*PVAL);
}

template<const char* name>
class MyClass
{
  ...
}

這樣可順利通過編譯，但如果想在當前文件中使用這兩個模板，還需要動一些手腳：

double val = 10;
double res = process<&val>(20);   // ERROR: 表達式必須含有常量值

MyClass<"hello"> x;         // ERROR: 模板參數不能引用非外部實體

const char* s = "hello";
MyClass<s> x;            // ERROR: 表達式必須含有常量值

這裡就點出另外一點註意事項，也就是非類型模板參數的限制，非類型模板參數可以是指針，但該指針必須指向外部鏈接對象，還記得在A.cpp中如何引用B.cpp中的全局變量嗎，在A.hpp中使用extern關鍵字對外部變量加以引用。

// B.cpp
double val = 3.14159265;
char str[] = "hello";


// A.hpp
extern double val;
extern char str[];


// A.cpp
#include "A.hpp"

double res = process<&val>(10);
MyClass<str> x;

到此這篇關於C++實現模板中的非類型參數的方法的文章就介紹到這瞭,更多相關C++ 模板非類型參數內容請搜索WalkonNet以前的文章或繼續瀏覽下面的相關文章希望大傢以後多多支持WalkonNet！

推薦閱讀：