Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[over.best.ics.general] The wording about implicit conversion sequence is inconsistent #5371

Open
xmh0511 opened this issue Mar 27, 2022 · 0 comments

Comments

@xmh0511
Copy link
Contributor

xmh0511 commented Mar 27, 2022

[over.best.ics.general] p6 says

When the parameter has a class type and the argument expression has the same type, the implicit conversion sequence is an identity conversion.

However, we specify the well-formed implicit conversion sequences in [over.best.ics.general] p3 as the following:

There is no identity conversion in the list. [over.best.ics.general] p8 says

If no conversions are required to match an argument to a parameter type, the implicit conversion sequence is the standard conversion sequence consisting of the identity conversion ([over.ics.scs]).

I think we should consistently use the wording in a similar manner to [over.best.ics.general] p8. That is, we should explicitly say what the kind of the implicit conversion sequence is and then specify what the conversions the sequence comprises. Such as:

When the parameter has a class type and the argument expression has a derived class type, the implicit conversion sequence is a standard conversion sequence consisting of the derived-to-base conversion from the derived class to the base class.

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

No branches or pull requests

1 participant