我們如何使用模板參數類型的變量？

Question

在下面的代碼中，我同時傳遞了類類型R和該類型的常量表達式作為模板參數。 但是clang不接受：

#include <iostream>

template<class T, T t>
void foo(){ std::cout << "foo()" << std::endl; }

class R
{
public:
    int f;
    constexpr R(): f(15){ }
};

constexpr R r;

int main(){ foo<R, r>(); } //note: candidate template ignored: 
                           //invalid explicitly-specified argument 
                           //for template parameter 't'

DEMO

在N4296::14.3.2 [temp.arg.nontype]除了非類型模板參數應為常量表達式外，我找不到任何限制。

Answer 1

§14.1[temp.param] / p4：

非類型模板參數應具有以下（可選，具有cv限定）類型之一：

• 整數或枚舉類型，
• 指向對象或函數的指針，
• 對對象的左值引用或對函數的左值引用，
• 指向成員的指針，
• std::nullptr_t 。

類類型不是這些。