Skip to content

Conversation

@frederick-vs-ja
Copy link
Contributor

No description provided.

@frederick-vs-ja frederick-vs-ja force-pushed the variant-any-no-instance branch from c58b767 to 6434c66 Compare October 17, 2025 08:59
@tkoeppe
Copy link
Contributor

tkoeppe commented Oct 31, 2025

What is the motivation for this change? We say "an instance of" in many places.

@frederick-vs-ja
Copy link
Contributor Author

What is the motivation for this change? We say "an instance of" in many places.

This was motivated by the previous PR #8220.

It's a bit confusing to me that most occurrences of "instance" in the standard wording are unrelated to "instantiation". And per #3903, possibly there shouldn't be related one because it's perhaps undesired to refer template specializations as instances. I think it's clearer to say "objects".

@tkoeppe
Copy link
Contributor

tkoeppe commented Nov 1, 2025

This was motivated by the previous PR #8220.

Yes, I expected that. Please see the discussion there: I don't think that one localised fix of wording that was bad in a different way means that we need to change other uses of "instance". I'm happy to see a deeper analysis of this, but it looks to me like a) both phrases ("instance of T" and "object of type T") are fairly widely used, and b) both are reasonable and understandable. At the moment I don't see a pressing need for a change (but we can discuss).

I agree that "instantiation" in the context of templates is probably something that we could clean up (and not just in the standard, but ideally also in the world population at large...).

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