From Jason Turner

[diff.cpp14.temp]

C++17 → C++20 1.4 KB 19 lines
Current Draft | LaTeX Source
Archived: C++17 | C++20
Markdown: C++17 | C++20
Explore in Adventure Game

Diff to HTML by rtfpessoa

Files changed (1) hide show
  1. tmp/tmphpvr055c/{from.md → to.md} +8 -8
tmp/tmphpvr055c/{from.md → to.md} RENAMED
@@ -1,14 +1,14 @@
1
- ### Clause [[temp]]: templates <a id="diff.cpp14.temp">[[diff.cpp14.temp]]</a>
2
 
3
- [[temp.deduct.type]] **Change:** Allowance to deduce from the type of a
4
- non-type template argument. **Rationale:** In combination with the
5
- ability to declare non-type template arguments with placeholder types,
6
- allows partial specializations to decompose from the type deduced for
7
- the non-type template argument. **Effect on original feature:** Valid
8
- C++14code may fail to compile or produce different results in this
9
- International Standard:
10
 
11
  ``` cpp
12
  template <int N> struct A;
13
  template <typename T, T N> int foo(A<N> *) = delete;
14
  void foo(void *);
 
1
+ ### [[temp]]: templates <a id="diff.cpp14.temp">[[diff.cpp14.temp]]</a>
2
 
3
+ **Change:** Allowance to deduce from the type of a non-type template
4
+ argument. **Rationale:** In combination with the ability to declare
5
+ non-type template arguments with placeholder types, allows partial
6
+ specializations to decompose from the type deduced for the non-type
7
+ template argument. **Effect on original feature:** Valid C++14 code may
8
+ fail to compile or produce different results in this International
9
+ Standard. For example:
10
 
11
  ``` cpp
12
  template <int N> struct A;
13
  template <typename T, T N> int foo(A<N> *) = delete;
14
  void foo(void *);