Received-SPF: pass (google.com: domain of linux-kernel+bounces-23438-linux.lists.archive=gmail.com@vger.kernel.org designates 139.178.88.99 as permitted sender) client-ip=139.178.88.99;
Precedence: bulk
MIME-Version: 1.0
References: <fa64c852-01c4-4e4c-8b89-14db5e0088d0@p183>
In-Reply-To: <fa64c852-01c4-4e4c-8b89-14db5e0088d0@p183>
From: Neal Gompa <neal@gompa.dev>
Date: Thu, 11 Jan 2024 05:58:51 -0500
Message-ID: <CAEg-Je9ahyp+asVHCcMr7KXYqDRzxJnQmqYcz1V+LH3ZEfT+Ww@mail.gmail.com>
Subject: Re: [PATCH 00/45] C++: Convert the kernel to C++
To: Alexey Dobriyan <adobriyan@gmail.com>
Cc: "H. Peter Anvin" <hpa@zytor.com>, Jason Gunthorpe <jgg@nvidia.com>, jirislaby@kernel.org, 
	dhowells@redhat.com, linux-kernel@vger.kernel.org, pinskia@gmail.com, 
	kent.overstreet@linux.dev
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

On Thu, Jan 11, 2024 at 5:56=E2=80=AFAM Alexey Dobriyan <adobriyan@gmail.co=
m> wrote:
>
> > SFINAE giving inscrutable errors is why I'm saying C++20,
> > since "concept" means you can get usable error messages.
>
> I'd say concepts are irrelevant for the kernel where standard library is
> tightly controlled by the same people who write rest of the kernel and
> no external users.
>
> static_assert() is all you need.

We have external users all the time, though. People who write external
modules or new modules would fall in that classification. Why should
it be harder for them?


--=20
=E7=9C=9F=E5=AE=9F=E3=81=AF=E3=81=84=E3=81=A4=E3=82=82=E4=B8=80=E3=81=A4=EF=
=BC=81/ Always, there's only one truth!