Re: Meyers effective C++, templates, np-complete

Todd Mars schrieb:
> Scott Meyers in Effective C++ at the start of the templates section
> says that C++ templates are np-complete in the compiler processing.
> Does this mean that the use of templates can cause the compile to
> execute for an infinite loop or near infinite loop?

If compilers would sup****t infinite template recursion, yes. However,
the standard also defines rules on how may levels of template resolution
a compiler has to sup****t, at minimum, and compilers simply abort the
recursion if it is too deep. Thus, templates *would* be NP complete if
there weren't restrictions setup exactly to avoid infinite loops.

So long,
	Thomas

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