拼接模板參數包爲一元的說法

Question

雖然說，std::add_pointer是一元的，下面的代碼是由兩個GCC 7.0.0（20160608）和3.9.0鏘接受：

template <typename ...Ts> 
struct tc1 { 
    using a = std::add_pointer<Ts...>; 
}; 

然而，當以下代碼被Clang接受，它被GCC拒絕：

template <typename ...Ts> 
struct tc2 { 
    template <typename ...Us> 
    using b = std::add_pointer<Ts...,Us...>; 
}; 

這是有效的C++嗎？在句法上，我可以想象，當包裝是空的時，逗號是個問題，但大概是在其他場合消除了;例如，std::common_type接受零個或多個參數，下面介紹的兩種編譯器沒有問題：

template <typename ...Ts> 
struct tc3 { 
    template <typename ...Us> 
    using c = std::common_type<Ts...,Us...>; 
}; 

Answer 1

您可以使用此代碼的任何數量的模板參數tc3<1 or more>::a<zero or more>，對GCC和鏘：

#include <type_traits> 

struct A { 
    template<typename ...Args> A(Args ... args) {} 
}; 

template <typename T, typename ...Ts> 
struct tc3 { 
    template <typename ...Us> 
    using c = std::add_pointer<T(Ts...,Us...)>; 
}; 

int main() { 
    typedef tc3<A, int, float>::template c<unsigned, double>::type ptr;// A(*)(int,float,unsigned,double) 
    typedef tc3<A>::template c<>::type ptr2;    // A(*)() 
    typedef tc3<bool>::template c<int, int>::type ptr3;  // bool(*)(int,int) 
    typedef std::add_pointer<bool(int, int)>::type ptr4; // bool(*)(int,int) 

    return 0; 
} 

• GCC 7.0.0：http://melpon.org/wandbox/permlink/m7Re0kFevMjalv6s
• 鏘4.0.0：http://melpon.org/wandbox/permlink/mXDtQRN7COxhtLN8

---

However, while the following code is accepted by Clang, it is rejected by GCC:

這下面的代碼是由鏘只接受前instantinationed，但畢竟有錯誤：

template <typename ...Ts> 
struct tc2 { 
    template <typename ...Us> 
    using b = std::add_pointer<Ts...,Us...>; 
}; 

• 錯誤鏘4.0：http://melpon.org/wandbox/permlink/vpBCJHlvWk1ai1ny
• 錯誤GCC 7.0.0：http://melpon.org/wandbox/permlink/a1rRfDI5zcUz3nau

std::add_pointer<>只能取一個tamplte參數：http://en.cppreference.com/w/cpp/types/add_pointer

template< class T > 
struct add_pointer; 

不是一個參數更可以採取只在內部namespace細節或某些其他：

可能的實現：

namespace detail { 
    template< class T, bool is_function_type = false > 
    struct add_pointer { 
     using type = typename std::remove_reference<T>::type*; 
    }; 

    template< class T > 
    struct add_pointer<T, true> { 
     using type = T; 
    }; 

    template< class T, class... Args > 
    struct add_pointer<T(Args...), true> { 
     using type = T(*)(Args...); 
    }; 

    template< class T, class... Args > 
    struct add_pointer<T(Args..., ...), true> { 
     using type = T(*)(Args..., ...); 
    }; 

} // namespace detail 

template< class T > 
struct add_pointer : detail::add_pointer<T, std::is_function<T>::value> {}; 

這完成以支持此代碼：

typedef std::add_pointer<bool(int, int)>::type ptr4; // bool(*)(int,int)