Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

Member template in local class

Given the following code:

void f() {     class A     {         template <typename T>         void g() {}     }; } 

g++ 4.4 (and also g++-4.6 -std=gnu++0x) complains: "invalid declaration of member template in local class".

Apparently local classes are not allowed to have template members. What is the purpose of this limitation? Will it be removed in C++0x?

Note: If I make the local class itself a template, rather than giving it a template member:

void f() {     template <typename T>     class A     {         void g() {}     }; } 

I get "error: a template declaration cannot appear at block scope".

like image 246
HighCommander4 Avatar asked Nov 28 '10 21:11

HighCommander4


People also ask

What is member function template in C++?

Member function templates are template functions that are members of a class or class template. Member functions can be function templates in several contexts. All functions of class templates are generic but are not referred to as member templates or member function templates.

Can a class member function template be virtual in C++?

No, template member functions cannot be virtual.

What is the class template?

A class template provides a specification for generating classes based on parameters. Class templates are generally used to implement containers. A class template is instantiated by passing a given set of types to it as template arguments.

What is template argument in C++?

In C++ this can be achieved using template parameters. A template parameter is a special kind of parameter that can be used to pass a type as argument: just like regular function parameters can be used to pass values to a function, template parameters allow to pass also types to a function.


1 Answers

The purpose of this limitation? Just a guess, but:

  • you may use the template class/template member function only within the enclosing function. Therefore you already know all used types within the function and hence can directly specify the used types (for several types, of course, the template variant would have saved some typing).
  • although it might not seem so, it is work for all compiler creators and space for bugs and so it must be worth the effort.

Fun Fact: Try to use a local class within a function as a return type for a (c++0x)-lambda function declared in the function: MSVC 2010: internal compiler error ^^.

like image 65
eci Avatar answered Sep 19 '22 01:09

eci