Boost logo

Boost :

From: Peter Dimov (pdimov_at_[hidden])
Date: 2007-03-30 11:17:05


Daniel Walker wrote:
> On 3/30/07, Tom Lahoda <tlahoda_at_[hidden]> wrote:
>> Your foo struct only has one template argument
>
> I know. My question is should that cause an error or a substitution
> failure, which is not an error.

In your example:

template<class T> struct foo {};

template<class T, class U> void f( foo<T, U> ) {}

there are no substitutions. Your f definition is simply ill-formed.


Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk