1樓：
@孫明琦
型別引數和常量引數混用的情況下，我在VS2015能這樣實現，對嗎？
using
std::
cout
;using
std::
endl
;template
T1val1 ,classT2, T2val2 >struct bar; };template T>struct foo{}; template T1v1 ,classT2, T2v2 >classT, classT1, T1v1 ,classT2, T2v2 >struct foo< T v1,T2, v2>> };int main ()輸出 int char 20 a 2樓：周剛 你理解是對的，根本原因就是因為vector本身不是乙個完整型別vector才是，C++17 Concept出來前,大概只能這樣了: template class Container> struct foo> 3樓：SuperSodaSea 剛才忘了Allocator…… 分割線template ,typename >classT, typename Alloc >struct foo< T Alloc >>{};即可，需要顯式宣告T為「模板模板引數」 暮無井見鈴 用不著浮蓮子，這裡用繼承更直接。公用部分寫到 TestBase 裡。template T class TestBase template T struct is complex std false type template T struct is complex complex std... 情況是這樣的 int i 10 foo i 首先進行 name lookup 找到了 2 個 foo,然後進行模板引數的歸約.第 1 個是 foo T with T int 第 2 個是 foo const T with T int 之後進行過載決議,優先順序從 完美匹配 型別提公升 型別轉換 依次... 你需要把const和型別放在一起看，也就是 const int 而不是const int 也就是說，你這裡是乙個指向型別為 const int 的指標，而不是乙個被const修飾過的 int 那反過來說，如果我們需要乙個被const修飾的 int 要怎麼辦呢？答案是把const寫在後面，也就是int...乙個關於C 模板的問題？
C 模板右值引用推導的問題？
C 關於 const 引用的乙個小問題？