Markus Schöpflin wrote:
Hello,
this file contains code to create an error condition, which basically looks like this:
---%<--- struct foo { foo() {} template <class T> foo(T t) { *this = make_foo(t); } };
inline foo make_foo(int i) { return foo(); }
foo f(42); --->%---
Both my compiler (Tru64 CXX 7.1) and Comeau C++ Online think this code is in error:
---%<--- cxx: Error: test.cxx, line 4: identifier "make_foo" is undefined detected during instantiation of "foo::foo(T) [with T=int]" at line 9 template <class T> foo(T t) { *this = make_foo(t); } ----------------------------------------^ --->%---
Therefore I think this should be changed to the following:
---%<--- struct foo; template <class T> foo make_foo(T);
struct foo { foo() {} template <class T> foo(T t) { *this = make_foo(t); } };
template<> foo make_foo(int i) { return foo(); }
foo f(42); --->%---
Is this correct? If yes, could that header be fixed?
AFAICT you are correct. I've updated the header accordingly. I deliberately did not change error_code_user_test.cpp. It may require "template<>" be inserted in front of make_error_* overloads, but I want to let the test run through Tru64 CXX 7.1 to verify that before I change the test code. AFAIK, the code will still work OK with the compilers it is currently working with. Thanks for the report and fix! --Beman