The random rantings of a concerned programmer.

Jul 11

Calling a templated member function of a typedef’d template class

Category: Random

C++ is insane.

Assume you have a templated Object:

template 
struct Object {
        template  void func(){};
};

And you want to wrap up the instance in a Proxy object:

template 
struct Proxy {
        typedef Object WrappedType;
        WrappedType obj;

        static void Func() {
                Proxy *self = new Proxy;
                self->obj.func();
        }
};

Pretty straightforward, but when you actually try to invoke Proxy::Func on an arbitrary T using g++

struct Foo {};

int main() {
        Proxy::Func();
        return 0;
}

g++ shits itself completely:

$ g++ test1.cpp
test1.cpp: In static member function ‘static void Proxy::Func()’:
test1.cpp:13: error: ‘Foo’ was not declared in this scope
test1.cpp:13: error: expected primary-expression before ‘)’ token
$ g++ --version
i686-apple-darwin10-g++-4.2.1 (GCC) 4.2.1 (Apple Inc. build 5666) (dot 3)

Fucking fantastic.

Some tinkering reveals that the compiler is getting confused as to what the fuck obj.func is somewhere. The following implementation of Func works fine (but defeats the point of using templates) --

   static void Func() {
                Proxy *self = new Proxy;
                Object bar = self->obj;
                bar.func();
        }

I searched for awhile and turned up jack diddly squat, then a co-worker informed me the fix is to use the following:

   static void Func() {
                Proxy *self = new Proxy;
                self->obj.template func();
        }

I don't know what the fuck this instance.template function<..>() bullshit is, but apparently MSVC implicitly puts it in there for you. I've certainly never seen it before and it's completely orthogonal to any fix I would have assumed.

tl;dr C++ is a clusterfuck.

EDIT: A stack overflow post which contains a reference to the C++03 standard (14.2/4) in the answers. fml.

Tagged with: , , ,
4 comments

4 Comments so far

  1. Anonymous July 15th, 2011 12:40 am

    sup taro.
    is this you? http://dis.4chan.org/read/prog/4/1

  2. Taro July 15th, 2011 9:16 am

    No, I don’t run Debian.

  3. Anonymous July 15th, 2011 9:22 am

    Ah well. Just saw suigintou as the hostname and it came up after you ranted about c++.

    By the way, how many readers do you have?

  4. Taro July 15th, 2011 11:09 am

    3 — you, me and that other guy (who is likely a sockpuppet).

Leave a comment