我可以使用變量模板來聲明另一個變量模板嗎？

Question

隨着可變模板C++ 14來（和鏘已經支持他們）和標準is_same_v的建議，同樣類型的特質，我想能夠做出新的類型特點如下是整齊：

template<typename T> 
constexpr bool is_const_and_volatile{std::is_const_v<T> && std::is_volatile_v<T>}; 

唉，這導致等同於以下SSCCE錯誤（this one包含下面提到的所有內容）：

#include <type_traits> 

template<typename T> 
constexpr bool is_pointer{std::is_pointer<T>::value}; 

template<typename T> 
constexpr bool foo{is_pointer<T>}; 

int main() { 
    //foo<int *>; 
} 

隨着評論中main行，鏘吐出來的是以下幾點：

warning: variable is_pointer<type-parameter-0-0> has internal linkage but is not defined

看樣子定義爲我的（注意，在foo改變T到int *正常工作）。取消註釋行main實例foo給出了這樣的（再次，T到int *正常工作）：

error: constexpr variable foo<int *> must be initialized by a constant expression

然而，下面的舊語法替換foo導致這兩種情況下，以優良的工作：

constexpr bool foo{std::is_pointer<T>::value}; 

有什麼我失蹤的變量模板？有沒有辦法建立新的變量模板與他們，還是我不得不使用舊的語法來建立新的，只享受其他代碼時使用它們的語法糖？

Answer 1

你的代碼是有效的，並且是由鐺SVN接受。鏈接錯誤是由clang bug 17846引起的，其中我fixed a couple of days ago。

Answer 2

以下似乎工作：

#include <type_traits> 
#include <iostream> 

template<typename T> 
struct test { 
    static constexpr bool is_pointer{std::is_pointer<T>::value}; 
}; 

template<typename T> 
constexpr bool test<T>::is_pointer; 

template<typename T> 
constexpr bool foo{test<T>::is_pointer}; 

int main() { 
    std::cout << foo<bool>; 
    std::cout << foo<bool*>; 
} 

Live Example

雖然如果在一個constexpr上下文中使用，所以我想它並沒有真正的工作畢竟它的特效同樣的警告。

// Fail 
template<typename T> 
typename std::enable_if<foo<T>, void>::type bar() 
{ 
} 

int main() { 
    bar<bool*>(); 
} 

main.cpp:21:5: error: no matching function for call to 'bar' 

    bar<bool*>(); 

    ^~~~~~~~~~ 

main.cpp:16:45: note: candidate template ignored: substitution failure [with T = bool *]: non-type template argument is not a constant expression 

typename std::enable_if<foo<T>, void>::type bar() 

如果你給foo一個明確的類型它不會停止抱怨：

template<typename T> 
typename std::enable_if<foo<bool*>, void>::type bar() 
{ 
} 

，或直接使用test<T>::is_pointer：

template<typename T> 
typename std::enable_if<test<T>::is_pointer, void>::type bar() 
{ 
}