31426 – TR1 includes do not work with -std=c++0x

Bug 31426 - TR1 includes do not work with -std=c++0x

Summary: TR1 includes do not work with -std=c++0x

Status:	RESOLVED FIXED

Alias:	None

Product:	gcc
Classification:	Unclassified
Component:	libstdc++ (show other bugs)
Version:	4.3.0

Importance:	P3 normal
Target Milestone:	4.3.0
Assignee:	Paolo Carlini

URL:
Keywords:

Depends on:
Blocks:

Reported:	2007-04-02 15:32 UTC by dgregor
Modified:	2007-06-01 08:49 UTC (History)
CC List:	2 users (show)

See Also:
Host:
Target:
Build:
Known to work:
Known to fail:
Last reconfirmed:	2007-04-06 09:33:09

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.

Description dgregor 2007-04-02 15:32:21 UTC

When the compiler is provided with -std=c++0x to enable the experimental C++0x mode, includes of TR1 facilities (e.g., tr1/tuple) do not put TR1 functionality into namespace std::tr1, breaking backward compatibility. Here's an example program that compiles without -std=c++0x but does not compile with it:

#include <tr1/tuple>

int main()
{
  std::tr1::tuple<int, double> x(17, 3.14);
  return 0;
}

Comment 1 Richard Biener 2007-04-02 16:18:09 UTC

isn't that a feature?

Comment 2 dgregor 2007-04-02 16:32:51 UTC

I don't think it is a feature. 

In C++0x mode, if one includes <tuple>, one should get std::tuple. That's what the C++0x working paper says.

In any mode, if one includes <tr1/tuple>, one should get std::tr1::tuple. That's what TR1 says (well, TR1 might say that you get std::tr1::tuple from including <tuple>; different vendors have done different things, here). 

I don't think support for C++0x precludes support for TR1. They coexist very well, especially because TR1 was designed to be compatible with C++0x. For example, C++0x-conforming implementations of the TR1 facilities also meet the requirements of TR1.

Comment 3 Richard Biener 2007-04-02 17:26:11 UTC

Ah, I see.

Comment 4 Benjamin Kosnik 2007-04-06 09:33:08 UTC

Hey Doug. 

Yes, indeed this is the case: I pointed it out a couple of times already. 

I'll try to implement this other behavior, but without injecting namespace std::tr1 as part of C++0x items.

-benjamin

Comment 5 Paolo Carlini 2007-05-25 17:12:04 UTC

(In reply to comment #2)
> I don't think support for C++0x precludes support for TR1. They coexist very
> well, especially because TR1 was designed to be compatible with C++0x. For
> example, C++0x-conforming implementations of the TR1 facilities also meet the
> requirements of TR1.

Hi Doug. Upon Benjamin' invitation, I'm working on this issue, with the initial goal of making progress on the C++0x version of type_traits (for example, it will exploit more front-end builtins).

Now, however, I do not agree completely with your statement above: certainly, for example, a C++0x-conforming type_traits doesn't meet the requirements of TR1. That, in turn, sheds doubts to the very point that TR1 facilities must be available in C++0x mode: if the user does an using from namespace tr1 to namespace std of a tr1 facility which finds a same-named, but incompatible facility (i.e., implementing different semantics) in namespace std, which one is supposed to "survive"?

Comment 6 Paolo Carlini 2007-05-25 17:39:32 UTC

Nevermind: that scenerio is illegal anyway, of course. I think I will just try to implement what you suggested on libstdc++ some time ago...

Comment 7 paolo@gcc.gnu.org 2007-05-31 23:38:17 UTC

Subject: Bug 31426

Author: paolo
Date: Thu May 31 23:37:56 2007
New Revision: 125244

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=125244
Log:
2007-05-31  Paolo Carlini  <pcarlini@suse.de>

	PR libstdc++/31426
	* include/bits/c++config: Remove namespace association bits
	from tr1 to std.

	* include/ext/type_traits.h (__promote, __promote2,
	__promote3, __promote4): Add.

	* include/bits/hashtable.h: New.
	* include/bits/functional_hash.h: Likewise.
	* include/tr1/hashtable.h: Likewise.

	* include/tr1_impl/random: New.
	* include/tr1_impl/cinttypes: Likewise.
	* include/tr1_impl/cstdlib: Likewise.
	* include/tr1_impl/unordered_map: Likewise.
	* include/tr1_impl/cstdio: Likewise.
	* include/tr1_impl/boost_shared_ptr.h: Likewise.
	* include/tr1_impl/cctype: Likewise.
	* include/tr1_impl/random.tcc: Likewise.
	* include/tr1_impl/tuple: Likewise.
	* include/tr1_impl/functional_hash.h: Likewise.
	* include/tr1_impl/hashtable: Likewise.
	* include/tr1_impl/cmath: Likewise.
	* include/tr1_impl/type_traitsfwd.h: Likewise.
	* include/tr1_impl/hashtable_policy.h: Likewise.
	* include/tr1_impl/cfenv: Likewise.
	* include/tr1_impl/unordered_set: Likewise.
	* include/tr1_impl/functional: Likewise.
	* include/tr1_impl/utility: Likewise.
	* include/tr1_impl/complex: Likewise.
	* include/tr1_impl/type_traits: Likewise.
	* include/tr1_impl/cwchar: Likewise.
	* include/tr1_impl/cstdint: Likewise.
	* include/tr1_impl/regex: Likewise.
	* include/tr1_impl/array: Likewise.
	* include/tr1_impl/cwctype: Likewise.

	* include/tr1/type_traitsfwd.h: Remove.
	* include/tr1/boost_shared_ptr.h: Likewise.
	* include/tr1/common.h: Likewise.
	* include/tr1/hashtable: Likewise.
	* include/tr1/hashtable_policy.h: Likewise.
	* include/tr1/random.tcc: Likewise.

	* include/c_global/cinttypes: Include tr1_impl/cinttypes.
	* include/c_global/cstdlib: Likewise for cstdlib.
	* include/c_global/cstdio: Likewise for cstdio.
	* include/c_global/cctype: Likewise for cctype.
	* include/c_global/cmath: Likewise for cmath.
	* include/c_global/cfenv: Likewise for cfenv.
	* include/c_global/cwchar: Likewise for cwchar.
	* include/c_global/cstdint: Likewise for cstdint.
	* include/c_global/cwctype: Likewise for cwctype.
	* include/tr1/cinttypes: Likewise for cinttypes.
	* include/tr1/cstdlib: Likewise for cstdlib.
	* include/tr1/cstdio: Likewise for cstdio.
	* include/tr1/cctype: Likewise for cctype.
	* include/tr1/cmath: Likewise for cmath.
	* include/tr1/cfenv: Likewise for cfenv.
	* include/tr1/cwchar: Likewise for cwchar.
	* include/tr1/cstdint: Likewise for cstdint.
	* include/tr1/cwctype: Likewise for cwctype.
	* include/tr1/functional_hash.h: Likewise for functional_hash.

	* include/std/tuple: Include tr1_impl/tuple.
	* include/std/utility: Likewise for utility.
	* include/std/type_traits: Likewise for type_traits.
	(is_pod): Just forward to __is_pod.
	(has_trivial_default_constructor): Just forward to
	__has_trivial_constructor.
	(has_trivial_copy_constructor): Just forward to __has_trivial_copy.
	(has_trivial_assign): Just forward to __has_trivial_assign.
	(has_trivial_destructor): Just forward to __has_trivial_destructor.
	(has_nothrow_default_constructor): Just forward to
	__has_nothrow_constructor.
	(has_nothrow_copy_constructor): Just forward to __has_nothrow_copy.
	(has_nothrow_assign): Just forward to __has_nothrow_assign.
	(is_base_of): Just forward to __is_base_of.
	(is_signed, is_unsigned): Implement according to the C++0x
	specifications.
	* include/std/memory: Likewise for memory.
	* include/std/regex: Likewise for regex.
	* include/std/random: Likewise for random.
	* include/std/unordered_map: Likewise for unordered_map.
	* include/std/unordered_set: Likewise for unordered_set.
	* include/std/functional: Likewise for functional.
	* include/std/complex: Likewise for complex.
	* include/std/array: Likewise for array.
	* include/tr1/tuple: Likewise for tuple.
	* include/tr1/utility: Likewise for utility.
	* include/tr1/type_traits: Likewise for type_traits
	* include/tr1/memory: Likewise for memory.
	* include/tr1/regex: Likewise for regex.
	* include/tr1/random: Likewise for random.
	* include/tr1/unordered_map: Likewise for unordered_map.
	* include/tr1/unordered_set: Likewise for unordered_set.
	* include/tr1/functional: Likewise for functional.
	* include/tr1/complex: Likewise for complex.
	* include/tr1/array: Likewise for array.

	* include/c_global/ctgmath: Tweak.
	* include/c_global/cstdarg: Likewise.
	* include/c_global/ctime: Likewise.
	* include/c_global/climits: Likewise.
	* include/c_global/cfloat: Likewise.	
	* include/c_global/ccomplex: Likewise.
	* include/c_global/cstdbool: Likewise.

	* include/tr1/poly_laguerre.tcc: Tweak, don't use _GLIBCXX_TR1.
	* include/tr1/riemann_zeta.tcc: Likewise.
	* include/tr1/beta_function.tcc: Likewise.
	* include/tr1/exp_integral.tcc: Likewise.
	* include/tr1/hypergeometric.tcc: Likewise.
	* include/tr1/modified_bessel_func.tcc: Likewise.
	* include/tr1/legendre_function.tcc: Likewise.
	* include/tr1/special_function_util.h: Likewise.
	* include/tr1/bessel_function.tcc: Likewise.
	* include/tr1/poly_hermite.tcc: Likewise.
	* include/tr1/ell_integral.tcc: Likewise.
	* include/tr1/gamma.tcc: Likewise.
	* include/tr1/stdlib.h: Likewise.
	* include/tr1/math.h: Likewise.

	* include/tr1/complex.h: Minor tweaks.
	* include/tr1/wctype.h: Likewise.
	* include/tr1/wchar.h: Likewise.
	* include/tr1/inttypes.h: Likewise.
	* include/tr1/tgmath.h: Likewise.
	* include/tr1/cstdbool: Likewise.
	* include/tr1/cfloat: Likewise.
	* include/tr1/ccomplex: Likewise.
	* include/tr1/ctime: Likewise.
	* include/tr1/climits: Likewise.
	* include/tr1/ctgmath: Likewise.
	* include/tr1/cstdarg: Likewise.

	* testsuite/tr1/headers.cc: Move...
	* testsuite/tr1/headers/all.cc: ... here.
	* testsuite/tr1/using_namespace_std_tr1.cc: Move...
	* testsuite/tr1/headers/c++200x/using_namespace_std_tr1.cc: ... here.
	* testsuite/tr1/headers/using_namespace_std_tr1.cc ... here.
	* testsuite/tr1/headers/c++200x/using_namespace_std_tr1.cc: New.

	* testsuite/20_util/tuple/requirements/explicit_instantiation.cc:
	Adjust namespace.
	* testsuite/20_util/has_nothrow_copy_constructor/value.cc: Adjust to
	the C++0x requirements.
	* testsuite/20_util/has_nothrow_default_constructor/value.cc: Likewise.
	* testsuite/20_util/has_trivial_copy_constructor/value.cc: Likewise.
	* testsuite/20_util/has_trivial_default_constructor/value.cc: Likewise.

	* testsuite/20_util/make_signed/requirements/typedefs_neg.cc: Adjust
	dg-error lines.
	* testsuite/20_util/make_unsigned/requirements/typedefs_neg.cc:
	Likewise.
	* testsuite/20_util/headers/type_traits/types_std_c++0x_neg.cc:
	Un-xfail.

	* testsuite/20_util/is_signed/value.cc: New.
	* testsuite/20_util/is_signed/requirements/typedefs.cc: Likewise.
	* testsuite/20_util/is_signed/requirements/explicit_instantiation.cc:
	Likewise.
	* testsuite/20_util/is_unsigned/value.cc: Likewise..
	* testsuite/20_util/is_unsigned/requirements/typedefs.cc: Likewise.
	* testsuite/20_util/is_unsigned/requirements/explicit_instantiation.cc:
	Likewise.

	* include/Makefile.am: Adjust.	
	* include/Makefile.in: Regenerate.

Added:
    trunk/libstdc++-v3/include/bits/functional_hash.h
    trunk/libstdc++-v3/include/bits/hashtable.h
    trunk/libstdc++-v3/include/tr1/hashtable.h
    trunk/libstdc++-v3/include/tr1_impl/
    trunk/libstdc++-v3/include/tr1_impl/array
    trunk/libstdc++-v3/include/tr1_impl/boost_shared_ptr.h
    trunk/libstdc++-v3/include/tr1_impl/cctype
    trunk/libstdc++-v3/include/tr1_impl/cfenv
    trunk/libstdc++-v3/include/tr1_impl/cinttypes
    trunk/libstdc++-v3/include/tr1_impl/cmath
    trunk/libstdc++-v3/include/tr1_impl/complex
    trunk/libstdc++-v3/include/tr1_impl/cstdint
    trunk/libstdc++-v3/include/tr1_impl/cstdio
    trunk/libstdc++-v3/include/tr1_impl/cstdlib
    trunk/libstdc++-v3/include/tr1_impl/cwchar
    trunk/libstdc++-v3/include/tr1_impl/cwctype
    trunk/libstdc++-v3/include/tr1_impl/functional
    trunk/libstdc++-v3/include/tr1_impl/functional_hash.h
    trunk/libstdc++-v3/include/tr1_impl/hashtable
    trunk/libstdc++-v3/include/tr1_impl/hashtable_policy.h
    trunk/libstdc++-v3/include/tr1_impl/random
    trunk/libstdc++-v3/include/tr1_impl/random.tcc
    trunk/libstdc++-v3/include/tr1_impl/regex
    trunk/libstdc++-v3/include/tr1_impl/tuple
    trunk/libstdc++-v3/include/tr1_impl/type_traits
    trunk/libstdc++-v3/include/tr1_impl/type_traitsfwd.h
    trunk/libstdc++-v3/include/tr1_impl/unordered_map
    trunk/libstdc++-v3/include/tr1_impl/unordered_set
    trunk/libstdc++-v3/include/tr1_impl/utility
    trunk/libstdc++-v3/testsuite/20_util/is_signed/
    trunk/libstdc++-v3/testsuite/20_util/is_signed/requirements/
    trunk/libstdc++-v3/testsuite/20_util/is_signed/requirements/explicit_instantiation.cc
    trunk/libstdc++-v3/testsuite/20_util/is_signed/requirements/typedefs.cc
    trunk/libstdc++-v3/testsuite/20_util/is_signed/value.cc
    trunk/libstdc++-v3/testsuite/20_util/is_unsigned/
    trunk/libstdc++-v3/testsuite/20_util/is_unsigned/requirements/
    trunk/libstdc++-v3/testsuite/20_util/is_unsigned/requirements/explicit_instantiation.cc
    trunk/libstdc++-v3/testsuite/20_util/is_unsigned/requirements/typedefs.cc
    trunk/libstdc++-v3/testsuite/20_util/is_unsigned/value.cc
    trunk/libstdc++-v3/testsuite/tr1/headers/
    trunk/libstdc++-v3/testsuite/tr1/headers/all.cc
    trunk/libstdc++-v3/testsuite/tr1/headers/c++200x/
    trunk/libstdc++-v3/testsuite/tr1/headers/c++200x/using_namespace_std_tr1.cc
    trunk/libstdc++-v3/testsuite/tr1/headers/using_namespace_std_tr1.cc
Removed:
    trunk/libstdc++-v3/include/tr1/boost_shared_ptr.h
    trunk/libstdc++-v3/include/tr1/common.h
    trunk/libstdc++-v3/include/tr1/hashtable
    trunk/libstdc++-v3/include/tr1/hashtable_policy.h
    trunk/libstdc++-v3/include/tr1/random.tcc
    trunk/libstdc++-v3/include/tr1/type_traitsfwd.h
    trunk/libstdc++-v3/testsuite/tr1/headers.cc
    trunk/libstdc++-v3/testsuite/tr1/using_namespace_std_tr1.cc
Modified:
    trunk/libstdc++-v3/ChangeLog
    trunk/libstdc++-v3/include/Makefile.am
    trunk/libstdc++-v3/include/Makefile.in
    trunk/libstdc++-v3/include/bits/c++config
    trunk/libstdc++-v3/include/c_global/ccomplex
    trunk/libstdc++-v3/include/c_global/cctype
    trunk/libstdc++-v3/include/c_global/cfenv
    trunk/libstdc++-v3/include/c_global/cfloat
    trunk/libstdc++-v3/include/c_global/cinttypes
    trunk/libstdc++-v3/include/c_global/climits
    trunk/libstdc++-v3/include/c_global/cmath
    trunk/libstdc++-v3/include/c_global/cstdarg
    trunk/libstdc++-v3/include/c_global/cstdbool
    trunk/libstdc++-v3/include/c_global/cstdint
    trunk/libstdc++-v3/include/c_global/cstdio
    trunk/libstdc++-v3/include/c_global/cstdlib
    trunk/libstdc++-v3/include/c_global/ctgmath
    trunk/libstdc++-v3/include/c_global/ctime
    trunk/libstdc++-v3/include/c_global/cwchar
    trunk/libstdc++-v3/include/c_global/cwctype
    trunk/libstdc++-v3/include/ext/type_traits.h
    trunk/libstdc++-v3/include/std/array
    trunk/libstdc++-v3/include/std/complex
    trunk/libstdc++-v3/include/std/functional
    trunk/libstdc++-v3/include/std/memory
    trunk/libstdc++-v3/include/std/random
    trunk/libstdc++-v3/include/std/regex
    trunk/libstdc++-v3/include/std/tuple
    trunk/libstdc++-v3/include/std/type_traits
    trunk/libstdc++-v3/include/std/unordered_map
    trunk/libstdc++-v3/include/std/unordered_set
    trunk/libstdc++-v3/include/std/utility
    trunk/libstdc++-v3/include/tr1/array
    trunk/libstdc++-v3/include/tr1/bessel_function.tcc
    trunk/libstdc++-v3/include/tr1/beta_function.tcc
    trunk/libstdc++-v3/include/tr1/ccomplex
    trunk/libstdc++-v3/include/tr1/cctype
    trunk/libstdc++-v3/include/tr1/cfenv
    trunk/libstdc++-v3/include/tr1/cfloat
    trunk/libstdc++-v3/include/tr1/cinttypes
    trunk/libstdc++-v3/include/tr1/climits
    trunk/libstdc++-v3/include/tr1/cmath
    trunk/libstdc++-v3/include/tr1/complex
    trunk/libstdc++-v3/include/tr1/complex.h
    trunk/libstdc++-v3/include/tr1/cstdarg
    trunk/libstdc++-v3/include/tr1/cstdbool
    trunk/libstdc++-v3/include/tr1/cstdint
    trunk/libstdc++-v3/include/tr1/cstdio
    trunk/libstdc++-v3/include/tr1/cstdlib
    trunk/libstdc++-v3/include/tr1/ctgmath
    trunk/libstdc++-v3/include/tr1/ctime
    trunk/libstdc++-v3/include/tr1/cwchar
    trunk/libstdc++-v3/include/tr1/cwctype
    trunk/libstdc++-v3/include/tr1/ell_integral.tcc
    trunk/libstdc++-v3/include/tr1/exp_integral.tcc
    trunk/libstdc++-v3/include/tr1/functional
    trunk/libstdc++-v3/include/tr1/functional_hash.h
    trunk/libstdc++-v3/include/tr1/gamma.tcc
    trunk/libstdc++-v3/include/tr1/hypergeometric.tcc
    trunk/libstdc++-v3/include/tr1/inttypes.h
    trunk/libstdc++-v3/include/tr1/legendre_function.tcc
    trunk/libstdc++-v3/include/tr1/math.h
    trunk/libstdc++-v3/include/tr1/memory
    trunk/libstdc++-v3/include/tr1/modified_bessel_func.tcc
    trunk/libstdc++-v3/include/tr1/poly_hermite.tcc
    trunk/libstdc++-v3/include/tr1/poly_laguerre.tcc
    trunk/libstdc++-v3/include/tr1/random
    trunk/libstdc++-v3/include/tr1/regex
    trunk/libstdc++-v3/include/tr1/riemann_zeta.tcc
    trunk/libstdc++-v3/include/tr1/special_function_util.h
    trunk/libstdc++-v3/include/tr1/stdlib.h
    trunk/libstdc++-v3/include/tr1/tgmath.h
    trunk/libstdc++-v3/include/tr1/tuple
    trunk/libstdc++-v3/include/tr1/type_traits
    trunk/libstdc++-v3/include/tr1/unordered_map
    trunk/libstdc++-v3/include/tr1/unordered_set
    trunk/libstdc++-v3/include/tr1/utility
    trunk/libstdc++-v3/include/tr1/wchar.h
    trunk/libstdc++-v3/include/tr1/wctype.h
    trunk/libstdc++-v3/testsuite/20_util/has_nothrow_copy_constructor/value.cc
    trunk/libstdc++-v3/testsuite/20_util/has_nothrow_default_constructor/value.cc
    trunk/libstdc++-v3/testsuite/20_util/has_trivial_copy_constructor/value.cc
    trunk/libstdc++-v3/testsuite/20_util/has_trivial_default_constructor/value.cc
    trunk/libstdc++-v3/testsuite/20_util/headers/type_traits/types_std_c++0x_neg.cc
    trunk/libstdc++-v3/testsuite/20_util/make_signed/requirements/typedefs_neg.cc
    trunk/libstdc++-v3/testsuite/20_util/make_unsigned/requirements/typedefs_neg.cc
    trunk/libstdc++-v3/testsuite/20_util/tuple/requirements/explicit_instantiation.cc

Comment 8 Paolo Carlini 2007-06-01 08:49:32 UTC

Fixed.