Created on 2016-06-23.00:00:00 last changed 74 months ago
Proposed resolution (February, 2017):
Add the following as a new bullet following 13.8.3.2 [temp.dep.type] bullet 9.6:
...
an array type whose element type is dependent or whose bound (if any) is value-dependent,
a function type whose exception specification is value-dependent,
...
[Adopted at the February/March, 2017 meeting.]
Consider:
template <bool B> struct A
{
void static foo() noexcept(B);// only dependent on B
void bar(struct X* x) {
buz<noexcept(foo)>(x); // dependent call through explicit template arguments?
}
};
A value-dependent exception specification ought to make the type of the corresponding function type-dependent.
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2018-02-27 00:00:00 | admin | set | messages: + msg6170 |
| 2018-02-27 00:00:00 | admin | set | status: open -> c++17 |
| 2016-06-23 00:00:00 | admin | create | |