On Friday, February 18th, 2022 at 1:54 PM, Barry Revzin via Std-Proposals <std-proposals@lists.isocpp.org> wrote:
See P1985, which uses "template auto T" as a template paramater of arbitrary kind. I wish there was a good non-auto-related syntax for this, but I have no idea what that would be and this one is certainly sensible.
Yes! p1985r1's syntax
<template auto U,
looks like p2008 (variable template
template)'s syntax
<template <class...> auto C,
lost an HTML label. Your draft has
no such problem.
I have attached an initial draft of this feature and I welcome any input
(e.g., whether there is demand for the feature and any comments) before I
pursue further formalization of this feature and proposing it for inclusion
in the standard.
is_template_instance_of, in the
standard it's usually called
"is_specialization_of."
--
Zhihao Yuan, ID lichray
The best way to predict the future is to invent it.
_______________________________________________