[v3 PATCH] Implement std::is_aggregate.

[Ville Voutilainen]

On 2 April 2017 at 08:35, Jakub Jelinek <jakub@redhat.com> wrote:
>> +      remove_cv_t<_Tp>
>> +      )>
>
> Any reason for the wrapping?

No, it's just a result of a nocturnal copy-paste-job of the existing
code for has_unique_object_representations.

> Also, shouldn't there be also:
>
>   /// is_aggregate_v
>   template<typename _Tp>
>     _GLIBCXX17_INLINE constexpr bool is_aggregate_v =
>       is_aggregate<_Tp>::value;
>
> somewhere with appropriate guards (or within the same ones)?

Yes, well spotted. I will add that.

> I'm surprised tests for the is_*_v variable templates are only in
> experimental/type_traits/value.cc when they are now apparently
> part of C++17.


Perhaps 20_util/variable_templates_for_traits.cc ?