On 29 mar, 13:46, Paul Brettschneider <paul.brettschnei...@yahoo.fr>
wrote:
James Kanze wrote:
On Mar 27, 10:04 pm, Paul Brettschneider
<paul.brettschnei...@yahoo.fr> wrote:
saneman wrote:
[...]
Another thing. When I make:
std::map<Bob, int> m;
And my Bob class does not define '<' operator why does
the compiler not complain in the above declaration of
'm'?
Its first when I insert that the compiler complains about
the missing operator in Bob:
It's the way templates work: functions/methods are only
instantiated when you use them. Since Key::operator<() is not
needed for constructing an empty map, the compiler doesn't
complain.
Or it does (g++, for example). The current standard says it's
undefined behavior, so anything the implementation does is
legal.
I cannot reproduce this on g++:
Are you using the normal options for standard conformant code?
I get:
Gabi (10): cat nocmp.cc
#include <map>
class A {
} ;
int
main()
{
std::map< A, int > m ;
}
Gabi (11): g++ --version
g++ (GCC) 4.2.1 (SUSE Linux)
Copyright (C) 2007 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.
There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR
PURPOSE.
Gabi (12): g++ -std=c++98 -ffor-scope -fno-gnu-keywords -foperator-
names -pipe -Wall -W -Wno-sign-compare -Wno-deprecated -Wno-non-
virtual-dtor -Wpointer-arith -Wno-unused -Wno-switch -Wno-missing-
field-initializers -ggdb3 -D_GLIBCXX_CONCEPT_CHECKS -D_GLIBCXX_DEBUG -
D_GLIBCXX_DEBUG_PEDANTIC nocmp.cc