cppdraft_translate/cppdraft/diff/cpp20/temp.md

[diff.cpp20.temp]

Annex C (informative) Compatibility [diff]

C.2 C++ and ISO C++ 2020 [diff.cpp20]

C.2.6 [temp]: templates [diff.cpp20.temp]

1

#

Affected subclause: [temp.deduct.type]

Change: Deducing template arguments from exception specifications.

Rationale: Facilitate generic handling of throwing and non-throwing functions.

Effect on original feature: Valid ISO C++ 2020 code may be ill-formed in this revision of C++.

[Example 1: template struct A { };template void f(void (*)(A) noexcept(B));void g(A) noexcept;void h() { f(g); // ill-formed; previously well-formed} — end example]