* [Bug c++/85282] CWG 727 (full specialization in non-namespace scope)
[not found] <bug-85282-4@http.gcc.gnu.org/bugzilla/>
@ 2020-05-16 14:44 ` mpolacek at gcc dot gnu.org
2020-05-22 10:00 ` rustamabd at gmail dot com
` (16 subsequent siblings)
17 siblings, 0 replies; 18+ messages in thread
From: mpolacek at gcc dot gnu.org @ 2020-05-16 14:44 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85282
Marek Polacek <mpolacek at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |mikelojkovic at gmail dot com
--- Comment #4 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
*** Bug 95160 has been marked as a duplicate of this bug. ***
^ permalink raw reply [flat|nested] 18+ messages in thread* [Bug c++/85282] CWG 727 (full specialization in non-namespace scope)
[not found] <bug-85282-4@http.gcc.gnu.org/bugzilla/>
2020-05-16 14:44 ` [Bug c++/85282] CWG 727 (full specialization in non-namespace scope) mpolacek at gcc dot gnu.org
@ 2020-05-22 10:00 ` rustamabd at gmail dot com
2020-05-22 10:35 ` redi at gcc dot gnu.org
` (15 subsequent siblings)
17 siblings, 0 replies; 18+ messages in thread
From: rustamabd at gmail dot com @ 2020-05-22 10:00 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85282
--- Comment #5 from Rustam Abdullaev <rustamabd at gmail dot com> ---
(In reply to Jonathan Wakely from comment #3)
> https://wg21.link/cwg727
>
> N.B. this is a C++17 feature that does not seem to have been approved as a
> DR, but Clang supports it in all language modes.
>
CWG 727 says "Adopted at the February/March, 2017 meeting", and
[temp.class.spec]/5 in ISO/IEC 14882:2017(E) is reflecting the new wording. So
this is in C++17. The defect is on GCC side.
^ permalink raw reply [flat|nested] 18+ messages in thread* [Bug c++/85282] CWG 727 (full specialization in non-namespace scope)
[not found] <bug-85282-4@http.gcc.gnu.org/bugzilla/>
2020-05-16 14:44 ` [Bug c++/85282] CWG 727 (full specialization in non-namespace scope) mpolacek at gcc dot gnu.org
2020-05-22 10:00 ` rustamabd at gmail dot com
@ 2020-05-22 10:35 ` redi at gcc dot gnu.org
2020-05-22 10:36 ` redi at gcc dot gnu.org
` (14 subsequent siblings)
17 siblings, 0 replies; 18+ messages in thread
From: redi at gcc dot gnu.org @ 2020-05-22 10:35 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85282
--- Comment #6 from Jonathan Wakely <redi at gcc dot gnu.org> ---
(In reply to Rustam Abdullaev from comment #5)
> (In reply to Jonathan Wakely from comment #3)
> > https://wg21.link/cwg727
> >
> > N.B. this is a C++17 feature that does not seem to have been approved as a
> > DR, but Clang supports it in all language modes.
> >
> CWG 727 says "Adopted at the February/March, 2017 meeting", and
> [temp.class.spec]/5 in ISO/IEC 14882:2017(E) is reflecting the new wording.
> So this is in C++17. The defect is on GCC side.
Yes. That's what I said.
But it's not a DR, so it only applies to C++17 and not C++14 or older
standards.
^ permalink raw reply [flat|nested] 18+ messages in thread* [Bug c++/85282] CWG 727 (full specialization in non-namespace scope)
[not found] <bug-85282-4@http.gcc.gnu.org/bugzilla/>
` (2 preceding siblings ...)
2020-05-22 10:35 ` redi at gcc dot gnu.org
@ 2020-05-22 10:36 ` redi at gcc dot gnu.org
2020-07-16 13:59 ` mpolacek at gcc dot gnu.org
` (13 subsequent siblings)
17 siblings, 0 replies; 18+ messages in thread
From: redi at gcc dot gnu.org @ 2020-05-22 10:36 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85282
--- Comment #7 from Jonathan Wakely <redi at gcc dot gnu.org> ---
Compare to e.g.
http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_defects.html#1825 which says
"[Moved to DR at the November, 2016 meeting.]" That means it's a retroactive
fix for previous standards. That isn't the case for 727.
^ permalink raw reply [flat|nested] 18+ messages in thread* [Bug c++/85282] CWG 727 (full specialization in non-namespace scope)
[not found] <bug-85282-4@http.gcc.gnu.org/bugzilla/>
` (3 preceding siblings ...)
2020-05-22 10:36 ` redi at gcc dot gnu.org
@ 2020-07-16 13:59 ` mpolacek at gcc dot gnu.org
2020-07-31 1:12 ` herring at lanl dot gov
` (12 subsequent siblings)
17 siblings, 0 replies; 18+ messages in thread
From: mpolacek at gcc dot gnu.org @ 2020-07-16 13:59 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85282
Marek Polacek <mpolacek at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |haoxintu at gmail dot com
--- Comment #8 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
*** Bug 96219 has been marked as a duplicate of this bug. ***
^ permalink raw reply [flat|nested] 18+ messages in thread* [Bug c++/85282] CWG 727 (full specialization in non-namespace scope)
[not found] <bug-85282-4@http.gcc.gnu.org/bugzilla/>
` (4 preceding siblings ...)
2020-07-16 13:59 ` mpolacek at gcc dot gnu.org
@ 2020-07-31 1:12 ` herring at lanl dot gov
2020-07-31 11:56 ` redi at gcc dot gnu.org
` (11 subsequent siblings)
17 siblings, 0 replies; 18+ messages in thread
From: herring at lanl dot gov @ 2020-07-31 1:12 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85282
S. Davis Herring <herring at lanl dot gov> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |herring at lanl dot gov
--- Comment #9 from S. Davis Herring <herring at lanl dot gov> ---
> But it's not a DR, so it only applies to C++17 and not C++14 or older
> standards.
Isn't it? Its motion does say "accept as Defect Reports".
^ permalink raw reply [flat|nested] 18+ messages in thread* [Bug c++/85282] CWG 727 (full specialization in non-namespace scope)
[not found] <bug-85282-4@http.gcc.gnu.org/bugzilla/>
` (5 preceding siblings ...)
2020-07-31 1:12 ` herring at lanl dot gov
@ 2020-07-31 11:56 ` redi at gcc dot gnu.org
2020-08-06 19:16 ` redi at gcc dot gnu.org
` (10 subsequent siblings)
17 siblings, 0 replies; 18+ messages in thread
From: redi at gcc dot gnu.org @ 2020-07-31 11:56 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85282
--- Comment #10 from Jonathan Wakely <redi at gcc dot gnu.org> ---
(In reply to S. Davis Herring from comment #9)
> > But it's not a DR, so it only applies to C++17 and not C++14 or older
> > standards.
>
> Isn't it? Its motion does say "accept as Defect Reports".
I'm only going by what the issues list says. If that's wrong we should ask Mike
to update it.
^ permalink raw reply [flat|nested] 18+ messages in thread* [Bug c++/85282] CWG 727 (full specialization in non-namespace scope)
[not found] <bug-85282-4@http.gcc.gnu.org/bugzilla/>
` (6 preceding siblings ...)
2020-07-31 11:56 ` redi at gcc dot gnu.org
@ 2020-08-06 19:16 ` redi at gcc dot gnu.org
2020-11-17 13:15 ` dan at danny dot cz
` (9 subsequent siblings)
17 siblings, 0 replies; 18+ messages in thread
From: redi at gcc dot gnu.org @ 2020-08-06 19:16 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85282
Jonathan Wakely <redi at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Last reconfirmed|2019-09-08 00:00:00 |2020-8-6
--- Comment #11 from Jonathan Wakely <redi at gcc dot gnu.org> ---
(In reply to Jonathan Wakely from comment #10)
> I'm only going by what the issues list says. If that's wrong we should ask
> Mike to update it.
FTAOD, what I meant was that I *was* only going by what the issues list says
when I claimed it's not a DR. I didn't mean to imply that I *will* only go by
what the issues list says in all cases.
So when GCC implements it, it should be for every mode.
^ permalink raw reply [flat|nested] 18+ messages in thread* [Bug c++/85282] CWG 727 (full specialization in non-namespace scope)
[not found] <bug-85282-4@http.gcc.gnu.org/bugzilla/>
` (7 preceding siblings ...)
2020-08-06 19:16 ` redi at gcc dot gnu.org
@ 2020-11-17 13:15 ` dan at danny dot cz
2020-12-07 18:33 ` ppalka at gcc dot gnu.org
` (8 subsequent siblings)
17 siblings, 0 replies; 18+ messages in thread
From: dan at danny dot cz @ 2020-11-17 13:15 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85282
Dan Horák <dan at danny dot cz> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |dan at danny dot cz
--- Comment #12 from Dan Horák <dan at danny dot cz> ---
see https://bugzilla.mozilla.org/show_bug.cgi?id=1677690 for a real world
example
^ permalink raw reply [flat|nested] 18+ messages in thread* [Bug c++/85282] CWG 727 (full specialization in non-namespace scope)
[not found] <bug-85282-4@http.gcc.gnu.org/bugzilla/>
` (8 preceding siblings ...)
2020-11-17 13:15 ` dan at danny dot cz
@ 2020-12-07 18:33 ` ppalka at gcc dot gnu.org
2020-12-09 14:36 ` jason at gcc dot gnu.org
` (7 subsequent siblings)
17 siblings, 0 replies; 18+ messages in thread
From: ppalka at gcc dot gnu.org @ 2020-12-07 18:33 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85282
Patrick Palka <ppalka at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |ppalka at gcc dot gnu.org
Assignee|unassigned at gcc dot gnu.org |ppalka at gcc dot gnu.org
Status|NEW |ASSIGNED
^ permalink raw reply [flat|nested] 18+ messages in thread* [Bug c++/85282] CWG 727 (full specialization in non-namespace scope)
[not found] <bug-85282-4@http.gcc.gnu.org/bugzilla/>
` (9 preceding siblings ...)
2020-12-07 18:33 ` ppalka at gcc dot gnu.org
@ 2020-12-09 14:36 ` jason at gcc dot gnu.org
2020-12-09 15:13 ` ppalka at gcc dot gnu.org
` (6 subsequent siblings)
17 siblings, 0 replies; 18+ messages in thread
From: jason at gcc dot gnu.org @ 2020-12-09 14:36 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85282
Jason Merrill <jason at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jason at gcc dot gnu.org
--- Comment #13 from Jason Merrill <jason at gcc dot gnu.org> ---
I vaguely remember us supporting this in the distant past, but removing that
support to be conforming.
Ah, yes, in 1998: r0-18485
^ permalink raw reply [flat|nested] 18+ messages in thread* [Bug c++/85282] CWG 727 (full specialization in non-namespace scope)
[not found] <bug-85282-4@http.gcc.gnu.org/bugzilla/>
` (10 preceding siblings ...)
2020-12-09 14:36 ` jason at gcc dot gnu.org
@ 2020-12-09 15:13 ` ppalka at gcc dot gnu.org
2021-08-10 15:27 ` pinskia at gcc dot gnu.org
` (5 subsequent siblings)
17 siblings, 0 replies; 18+ messages in thread
From: ppalka at gcc dot gnu.org @ 2020-12-09 15:13 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85282
Patrick Palka <ppalka at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Assignee|ppalka at gcc dot gnu.org |unassigned at gcc dot gnu.org
Status|ASSIGNED |NEW
^ permalink raw reply [flat|nested] 18+ messages in thread* [Bug c++/85282] CWG 727 (full specialization in non-namespace scope)
[not found] <bug-85282-4@http.gcc.gnu.org/bugzilla/>
` (11 preceding siblings ...)
2020-12-09 15:13 ` ppalka at gcc dot gnu.org
@ 2021-08-10 15:27 ` pinskia at gcc dot gnu.org
2021-08-10 15:29 ` pinskia at gcc dot gnu.org
` (4 subsequent siblings)
17 siblings, 0 replies; 18+ messages in thread
From: pinskia at gcc dot gnu.org @ 2021-08-10 15:27 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85282
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |qwdkguneykiffmmuyd at uivvn dot ne
| |t
--- Comment #14 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
*** Bug 101848 has been marked as a duplicate of this bug. ***
^ permalink raw reply [flat|nested] 18+ messages in thread* [Bug c++/85282] CWG 727 (full specialization in non-namespace scope)
[not found] <bug-85282-4@http.gcc.gnu.org/bugzilla/>
` (12 preceding siblings ...)
2021-08-10 15:27 ` pinskia at gcc dot gnu.org
@ 2021-08-10 15:29 ` pinskia at gcc dot gnu.org
2021-08-10 16:37 ` ppalka at gcc dot gnu.org
` (3 subsequent siblings)
17 siblings, 0 replies; 18+ messages in thread
From: pinskia at gcc dot gnu.org @ 2021-08-10 15:29 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85282
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |yawaraka.7-11.hemogurobin@e
| |zweb.ne.jp
--- Comment #15 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
*** Bug 93992 has been marked as a duplicate of this bug. ***
^ permalink raw reply [flat|nested] 18+ messages in thread* [Bug c++/85282] CWG 727 (full specialization in non-namespace scope)
[not found] <bug-85282-4@http.gcc.gnu.org/bugzilla/>
` (13 preceding siblings ...)
2021-08-10 15:29 ` pinskia at gcc dot gnu.org
@ 2021-08-10 16:37 ` ppalka at gcc dot gnu.org
2021-11-14 15:14 ` ppalka at gcc dot gnu.org
` (2 subsequent siblings)
17 siblings, 0 replies; 18+ messages in thread
From: ppalka at gcc dot gnu.org @ 2021-08-10 16:37 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85282
Patrick Palka <ppalka at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |ASSIGNED
Assignee|unassigned at gcc dot gnu.org |ppalka at gcc dot gnu.org
^ permalink raw reply [flat|nested] 18+ messages in thread* [Bug c++/85282] CWG 727 (full specialization in non-namespace scope)
[not found] <bug-85282-4@http.gcc.gnu.org/bugzilla/>
` (14 preceding siblings ...)
2021-08-10 16:37 ` ppalka at gcc dot gnu.org
@ 2021-11-14 15:14 ` ppalka at gcc dot gnu.org
2022-03-29 15:39 ` ppalka at gcc dot gnu.org
2023-08-11 21:12 ` jason at gcc dot gnu.org
17 siblings, 0 replies; 18+ messages in thread
From: ppalka at gcc dot gnu.org @ 2021-11-14 15:14 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85282
Patrick Palka <ppalka at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |dl.soluz at gmx dot net
--- Comment #16 from Patrick Palka <ppalka at gcc dot gnu.org> ---
*** Bug 103232 has been marked as a duplicate of this bug. ***
^ permalink raw reply [flat|nested] 18+ messages in thread* [Bug c++/85282] CWG 727 (full specialization in non-namespace scope)
[not found] <bug-85282-4@http.gcc.gnu.org/bugzilla/>
` (15 preceding siblings ...)
2021-11-14 15:14 ` ppalka at gcc dot gnu.org
@ 2022-03-29 15:39 ` ppalka at gcc dot gnu.org
2023-08-11 21:12 ` jason at gcc dot gnu.org
17 siblings, 0 replies; 18+ messages in thread
From: ppalka at gcc dot gnu.org @ 2022-03-29 15:39 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85282
--- Comment #17 from Patrick Palka <ppalka at gcc dot gnu.org> ---
This won't be implemented in time for GCC 12, sadly.
FWIW a class-scope explicit specialization should in most cases be equivalent
to an appropriately constrained partial specialization. So as a workaround,
instead of e.g.:
struct A {
template<class T>
struct B;
template<>
struct B<int> { }; // unsupported class-scope explicit specialization
};
in C++20 one can do:
struct A {
template<class T>
struct B;
template<std::same_as<int> T>
struct B<T> { };
};
or in C++17:
struct A {
template<class T, class = void>
struct B;
template<class T>
struct B<T, std::enable_if_t<std::is_same_v<int, T>>> { };
};
^ permalink raw reply [flat|nested] 18+ messages in thread* [Bug c++/85282] CWG 727 (full specialization in non-namespace scope)
[not found] <bug-85282-4@http.gcc.gnu.org/bugzilla/>
` (16 preceding siblings ...)
2022-03-29 15:39 ` ppalka at gcc dot gnu.org
@ 2023-08-11 21:12 ` jason at gcc dot gnu.org
17 siblings, 0 replies; 18+ messages in thread
From: jason at gcc dot gnu.org @ 2023-08-11 21:12 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85282
Jason Merrill <jason at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jozef.kosoru at pobox dot sk
--- Comment #18 from Jason Merrill <jason at gcc dot gnu.org> ---
*** Bug 8665 has been marked as a duplicate of this bug. ***
^ permalink raw reply [flat|nested] 18+ messages in thread