這是一個使用sizeof ...（）運算符的錯誤嗎？

Question

我碰到什麼樣子從鐺++編譯器sizeof運算奇怪的行爲...（）操作：

template <typename... Args> 
void test(tuple<Args...> t) { 
    cout << "size: " << sizeof...(Args) << endl; 
} 

... 
test(make_tuple(1, 2)); // prints 'size: 10' 

我意識到，更標準的方法是：

template <typename... Args> 
void test(tuple<Args...> t) { 
    cout << "size: " << tuple_size<tuple<Args...> >::value << endl; 
} 

test(make_tuple(1, 2)); // prints 'size: 2' 

但我我仍然很好奇，爲什麼我會爲第一個版本得到奇怪的值。 sizeof ...（）的值是否定義爲這種情況，還是編譯器行爲不當？

Answer 1

這聽起來很像舊的可變模板模擬和真正的可變模板之間的不匹配。

之前可變參數模板來了，人們可以用有限數量的違約模板參數模仿他們：

struct void_ {}; // marker type not used anywhere else 

template <typename T0 = void_, 
      typename T1 = void_, 
      typename T2 = void_, 
      typename T3 = void_, 
      typename T4 = void_, 
      typename T5 = void_, 
      typename T6 = void_, 
      typename T7 = void_, 
      typename T8 = void_, 
      typename T9 = void_> 
struct tuple { /* blah blah magic here */ }; 

這可以寫出tuple<int>和tuple<int, double>，等等，多達十個參數。

tuple_size然後可以通過計數在第一個void_之前的模板參數的數量來實現。功能集的其餘部分以類似的方式實現。不幸的是，這個技巧與真正的可變模板相互作用很差。當給出tuple<int, double>時，tuple<Args...>上的類型扣除將推斷出Args數據包爲{int，double，void_，void_，void_，void_，void_，void_，void_，void_}。這就是爲什麼sizeof...(Args)返回10：這個包中的確有十種類型，即使它們中的八個只是我們決定賦予「無類型在這裏看到，移動」的標記。

編譯器不知道我們的約定，所以它計數一切。 tuple_size瞭解這個約定，只計算我們關心的實際類型。