使用左值參考作爲非類型模板參數

Question

我讀了下面的類型允許作爲非類型模板參數：

• 整型
• 枚舉
• PTR到對象/方法
• 左值參考對象/方法
• 的std :: nullptr_t

我不明白如何非常量指針或左值引用是可以接受的？它們不應該是常量類型，以便在編譯時識別它們嗎？

很顯然，我並不比標準更聰明所以有人告訴我一個左參考的例子，也許被用作非模板參數的指針？

Answer 1

下面是同時具有一個方法指針和一個左值引用作爲非類型模板參數的一個示例：

int delete_counter_1 = 0; 
int delete_counter_2 = 0; 

template<int& ctr> 
void increment_counter() { ++ctr; } 

template<void(*func)()> 
class Deleter { 
    public: 
    ~Deleter() { func(); } 
}; 

int main() { 
    { /* Internal scope */ 
     Deleter<increment_counter<delete_counter_1>> a, b; 
     Deleter<increment_counter<delete_counter_2>> c; 
    } 
    std::cout << "Counter1: " << delete_counter_1 
       << "; Counter2: " << delete_counter_2 
       << '\n'; 
    return 0; 
} 

查看它coliru。

關於Deleter類有趣的是，它沒有實際的數據成員;它的析構函數可以直接內聯而不需要間接的函數調用。

如在評論中提及由DALIBOR Frivaldsky，所述的一點是，（實例化）功能delete_counter<int&>和本身具有固定在編譯時已知地址計數器，所以作爲指針它們的值是恆定的。特別是，這僅適用於具有靜態壽命的對象;自動（「堆棧分配」）對象將不起作用，並且非靜態類成員，但靜態對象（如上）和靜態類成員都不錯。

Answer 2

標準解釋很清楚在14.3.2 [temp.arg.nontype]什麼可以用來作爲一個參數，如果一個非類型模板參數是一個指針或引用：

• 常量表達式（5.19），其指定的地址包括函數 模板和函數模板id，但不包括非靜態類成員，表達（忽略括號） as & id-expression，具有靜態存儲持續時間的完整對象 以及外部或內部鏈接或具有外部或內部鏈接的函數。在哪裏-expression是一個對象或函數的名稱，不同的是 &可以省略如果名稱是指功能或陣列，並且如果相應的 模板參數是一個參考將被省略;或
• 一個常量表達式，其值爲一個空指針值（4.10）;或
• 一個常量表達式，其值爲空成員指針值（4.11）;或
• 指向成員的指針，如5.3所述。1;或
• 型STD的常量表達式:: nullptr_t