Question

虽然，std::add_pointer是一元的，但GCC 7.0.0（20160608）和Clang 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

您可以将此代码用于GCC和Clang上的任意数量的模板参数tc3<1 or more>::a<zero or more>：

#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
Clang 4.0.0：http://melpon.org/wandbox/permlink/mXDtQRN7COxhtLN8

但是，虽然Clang接受了以下代码，但它被拒绝了海湾合作委员会：

以下代码仅在即时发布之前被Clang接受，但在出现错误之后：

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

错误Clang 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)

连接一元参数的模板参数包

1 个答案: