| Summary: | Const/reference mutable members are not always rejected in class templates | ||
|---|---|---|---|
| Product: | gcc | Reporter: | Paul Smith <pl.smith.mail> |
| Component: | c++ | Assignee: | Paolo Carlini <paolo.carlini> |
| Status: | RESOLVED FIXED | ||
| Severity: | normal | CC: | daniel.kruegler |
| Priority: | P3 | Keywords: | accepts-invalid |
| Version: | unknown | ||
| Target Milestone: | 4.9.0 | ||
| Host: | Target: | ||
| Build: | Known to work: | ||
| Known to fail: | Last reconfirmed: | 2013-02-18 00:00:00 | |
The mutable reference case was only fixed fairly recently for non-templates, as PR 33558, it looks like a later check is needed to handle templates. Mine. |
GCC (all versions?) accepts mutable members of const-qualified/reference type in class templates, if the const-ness/reference-ness is introduced during instantiation: template <typename T> struct X { X(); mutable T x; }; X<const int> a; // no error X<int&> b; // no error