Re: Old Meyers C++ compiler test no longer valid?

From:

litb <Schaub-Johannes@web.de>

Newsgroups:

comp.lang.c++.moderated

Date:

Sat, 18 Jul 2009 20:48:27 CST

Message-ID:

<23703ba3-bcf7-4b93-87a8-3873325a91e1@j32g2000yqh.googlegroups.com>

On 17 Jul., 16:41, CornedBee <wasti.r...@gmx.net> wrote:

On Jul 16, 7:33 pm, Russ Bryan <rbryan.nay...@gmail.com> wrote:

I dug up this compiler test submitted to Digital Mars by Scott Meyers
in 2001. At the time, the claim was that Borland and Comeau were able
to compile this code successfully. I've just tried this code with the
Comeau test compiler and VS2008 SP1 and both of them report errors on
lines 32 and 34.

const class {
public:
   template <class T>
   operator T*() const {return 0;}

   template <class C, class T>
   operator T C::*() const {return 0;}

} null = {};

Maybe the compilers now refuse to deduce T to the member function
closure type "dereferenced member function pointer in C". After all,
what would they do if you then declared a variable of that type?

There is not such a thing. T is a normal function type. You cannot
declare a variable of type "T" because T is a function type. As T is a
dependent type, you may not even declare a function with it (14.3.1/3)

--
[ See http://www.gotw.ca/resources/clcm.htm for info about ]
[ comp.lang.c++.moderated. First time posters: Do this! ]