C++ Logo

STD-PROPOSALS

Advanced search

Subject: Re: [std-proposals] Conditional final class-virt-specifier
From: Jason McKesson (jmckesson_at_[hidden])
Date: 2020-07-11 11:06:11


I just realized something else with your examples:

```
class extension final<class B>(B::api_version < extension::api_version)
```

Not only does checking the validity of `final` have to be deferred
until the hypothetical derived class gets a full definition, the
validity of the *expression* in `final` is dependent on `extension`
*itself* being fully defined. So the compiler can't even really
compile the expression itself until after the class's definition.


STD-PROPOSALS list run by herb.sutter at gmail.com

Standard Proposals Archives on Google Groups