Skip to content

Conversation

@joaquintides
Copy link
Member

@joaquintides joaquintides commented Oct 26, 2025

A list is not a class template (e.g. mp_list) but an instantation of it (e.g. mp_list<int>).

@pdimov
Copy link
Member

pdimov commented Oct 26, 2025

It doesn't say "class template" though. :-)

@joaquintides
Copy link
Member Author

If "template class" is to be taken as meaning "instantiation of a class template", the definition does not make sense, as instantiations of class templates, being types, can't be variadic or have parameters.

@pdimov
Copy link
Member

pdimov commented Oct 26, 2025

That's what it used to mean in the standard, although I see that it's no longer used in the latest draft.

@pdimov
Copy link
Member

pdimov commented Oct 26, 2025

as instantiations of class templates, being types, can't be variadic or have parameters.

Technically correct, they can only have arguments, not parameters.

Your fix is still wrong though, because it needs to change "template class" into "class template" in order to make sense.

@pdimov pdimov merged commit 24441db into boostorg:develop Oct 30, 2025
72 of 73 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants