On Sun, 2 Jun 2019 at 17:07, Eyal Rozenberg <eyalroz_at_[hidden]> wrote:

> Thank you, John, for the link to Lawrence Crowl's proposal:
>
> On 02/06/2019 12:21, John McFarlane via Std-Proposals wrote:
> > wg21.link/p0102
>
> but has it come up in committee sessions? LWG specifically?
>

I doubt it. Proposals don't make it to LWG until they are quite far
advanced.

>
> >
> > to the discussion of it,
> >
> >
>
> > This comes up from time to time, e.g. earlier this year
> > ... snip ...
> > I'd like to see the integer family (e.g. `unsigned`, `signed` etc.) as a
> > parameter and for this to be a customisation point.
>
> You mean something like this? :
>
> namespace detail {
>
> template <typename I, std::size_t NumBits>
> struct resized_integer;
>
> template <>
> struct resized_integer<int, 8> { using type = int8_t; };
> template <>
> struct resized_integer<int, 16> { using type = int16_t; };
> template <>
> struct resized_integer<unsigned, 8> { using type = uint8_t; };
> template <>
> struct resized_integer<unsigned, 16> { using type = uint16_t; };
>
> } // namespace detail
>
> template <typename I, std::size_t NumBits>
> using resized_integer_t =
> typename detail::resized_integer<I, NumBits>::type;
>
> template <std::size_t NumBits>
> using signed_t = resized_integer_t<int, NumBits>;
>
> template <std::size_t NumBits>
> using unsigned_t = resized_integer_t<unsigned, NumBits>;
>
>
> That could be nice. But, again - has the committee discussed it?
>

Something like that, yes. I don't recall any committee discussion on it.

>
> Eyal
>