Thread: template keyword needed

Hello everyone,


In the Bjarne's book, there is a line of code like this,

Code:

typedef typename A::template rebind <Link>::other Link_alloc;

It means if A is allocator, we can use use to allocate arbitrary type of object instance, said by Bjarne.

I understand this statement, my question is about the grammar. Do we need the template keyword? Why?

I have tested without temlpate keyword, the code still works. Any ideas?

Code:

template <class T1> class  Foo {
public:
	template <class T2> class Goo {
	public:
		typedef T2	GooValueType;
	};
};

int main()
{
	Foo <int>::Goo<char>::GooValueType a1;
	Foo <int>::template Goo<char>::GooValueType a2;
	return 0;
}

thanks in advance,
George

Originally Posted by George2

I understand this statement, my question is about the grammar. Do we need the template keyword? Why?

You need the template keyword. The reason for this is that "rebind" is a template.

I have tested without temlpate keyword, the code still works. Any ideas?

You are using an older compiler which doesn't care.

Hi brewbuck,


1.

I am not using old compiler, but new Visual Studio 2008.

2.

To use template class/struct, when do we need to use template keyword, when do not need? I am confused. For example, deque is a template class, but we do not need the template keyword to use it, for example,

deque<int>::iterator_type other than template deque<int>::iterator_type

Originally Posted by brewbuck

You need the template keyword. The reason for this is that "rebind" is a template.



You are using an older compiler which doesn't care.

regards,
George

Hi CornedBee,

Originally Posted by CornedBee

You need the template keyword under the same circumstances that you need the typename keyword: when addressing a dependent name.

You mean when there is typename/class, we must use template at the same time. If there is no typename/class, there is no need to use template?


regards,
George

Thanks CornedBee,


I think you mean using typename inside <> together with template keyword, right? Please look at the original code I quoted from Bjarne's book, typename is not in <>.

Code:

typedef typename A::template rebind <Link>::other Link_alloc;

I have tried the following code also compiles,

Code:

typedef typename A::rebind <Link>::other Link_alloc;

If I do not fully understand your points or my above code (see latter case) violates any C++ Spec, please feel free to let me know.

Originally Posted by CornedBee

No, no, no.

Ah, you haven't spent much time writing templates yet, have you? You really should do that before trying to understand dependent types.

regards,
George

Thanks CornedBee,

Originally Posted by CornedBee

No, I don't.


On your compiler. But it's not conformant.

http://womble.decadentplace.org.uk/c...disambiguation

I have made some study on this. Here is something I found confused.

--------------------
What are dependent names?

A: Dependent names are names whose definitions are considered to depend upon the template parameters and for which there is no declaration within the template definition. They are resolved only when the template is instantiated. Those that are intended to refer to types or templates may require disambiguation.

If the resolution of a dependent function name uses argument-dependent lookup, declarations in the arguments' namespaces that are visible at the point of instantiation will be considered as well as declarations visible at the point of definition. (The former is normally a superset of the latter, but may not be.)
--------------------

Two confusions,

1. What means " for which there is no declaration within the template definition"?

2. What means "declarations in the arguments' namespaces that are visible at the point of instantiation will be considered as well as declarations visible at the point of definition."?

Could you show some pseudo code please?

BTW: I feel I lack some knowledge of template programming in-depth even if I use STL template everyday. I tried ti read appendix C for Bjarne's book, and it contains more confusing terms about dependent names (e.g. section C.13.8.1).


regards,
George

Hi CornedBee,


I have got the book. Which chapter do you mean most relevant?

Originally Posted by CornedBee

Daveed Vandevoorde, Nicolai Josuttis
"C++ Templates"
Addison Wesley

Buy and read.

regards,
George