tmp/tmp40fptpst/{from.md → to.md}
RENAMED
|
@@ -3,12 +3,12 @@
|
|
| 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
|
| 9 |
-
|
| 10 |
|
| 11 |
``` cpp
|
| 12 |
template <int N> struct A;
|
| 13 |
template <typename T, T N> int foo(A<N> *) = delete;
|
| 14 |
void foo(void *);
|
|
|
|
| 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 revision of C++.
|
| 9 |
+
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 *);
|