|
Boost : |
Subject: Re: [boost] [GSoC][MPL11] Post C++Now update
From: paul Fultz (pfultz2_at_[hidden])
Date: 2014-05-19 19:40:45
> What does it look like to have a compile-time list containing void? Or
> an array type? Or a function type (i.e., not a pointer to function)? Or
> an abstract type?
Plus, constexpr's parameters must all be literal types.
Paul
On Monday, May 19, 2014 7:05 PM, Eric Niebler <eniebler_at_[hidden]> wrote:
>
>
>On 05/19/2014 10:28 AM, Louis Dionne wrote:
>> Type-only predicate
>> -------------------
>> struct odd {
>> template <typename T>
>> constexpr auto operator()(T t) const { return t % int_<2>; }
>> };
>>
>> static_assert(std::is_same<
>> decltype(any(odd{}, list(int_<1>, int_<2>))),
>> Bool<true>
>> >::value, "");
>>
>
>What does it look like to have a compile-time list containing void? Or
>an array type? Or a function type (i.e., not a pointer to function)? Or
>an abstract type?
>
>Eric
>
>
>
>_______________________________________________
>Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost
>
>
>
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk