http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58898
Bug ID: 58898
Summary: Adding default template argument causes to class
template compile error
Product: gcc
Version: 4.8.1
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: evgeny.panasyuk at gmail dot com
Following code fails to compile on GCC 4.8.1, but compiles OK and Clang 3.4 and
MSVC2010.
Live demo: http://coliru.stacked-crooked.com/a/5fa616a7f18e2485
/***************************/
template <typename = int>
struct Foo
{
Foo()
{
int t(int()); // Error
}
};
int main()
{
int t(int()); // OK
Foo<> a; // Error
}
/***************************/
main.cpp: In constructor 'Foo< <template-parameter-1-1> >::Foo()':
main.cpp:6:20: error: default argument for template parameter for class
enclosing 'int t(int (*)())'
int t(int()); // Error
^
main.cpp: In function 'int main()':
main.cpp:13:9: error: wrong number of template arguments (0, should be 1)
Foo<> a; // Error
^
main.cpp:2:8: error: provided for 'template<class> struct Foo'
struct Foo
^
main.cpp:13:12: error: invalid type in declaration before ';' token
Foo<> a; // Error
^
/***************************/
But following code compiles OK.
Live demo: http://coliru.stacked-crooked.com/a/3e6c7f85f2ee5615
template <typename>
struct Foo
{
Foo()
{
int t(int()); // OK
}
};
int main()
{
int t(int()); // OK
Foo<int> a; // OK
}
/***************************/
Original case was in StackOverflow Question:
http://stackoverflow.com/questions/19625314/inheriting-from-a-class-template-with-a-default-argument/19625343#19625343
