" Momchil Velikov" <已经*** @ fadata.bg>在消息中写道

news：87 ************************** @ posting.google.c om ...

"Momchil Velikov" <ve***@fadata.bg> wrote in message
news:87**************************@posting.google.c om...

[...]
模板<类Obj>
A（typename ptr_to_member< Obj> :: type fn）

}


这是一个不可推断的背景。

模板< class Obj>
A（void（Obj :: * fn）（））
{
}

[...]
template<class Obj>
A (typename ptr_to_member <Obj>::type fn)
{
}
This is a non-deducible context.
template<class Obj>
A (void (Obj::* fn) ())
{
}

这个上下文是可以推断的。


基本上，如果编译器必须实例化一个匹配

模板参数的类型，然后上下文是不可推导的（

编译器太懒了，无法进行实例化，因为它可以

变得任意复杂，并且在某些情况下可能导致奇怪的

递归）。


Dave

This context is deducible.

Basically, if the compiler has to instantiate a type to match a
template parameter, then the context is non-deducible (the
compiler is too lazy to do the instantiation, since it could
become arbitrarily complex, and probably lead to weird
recursions in some cases).

Dave

>

" David B. Held" &LT; DH *** @ codelogicconsulting.com&GT;在消息中写道

news：bk ********** @ news.astound.net ...

"David B. Held" <dh***@codelogicconsulting.com> wrote in message
news:bk**********@news.astound.net...

" Momchil Velikov" &LT;已经*** @ fadata.bg&GT;在消息中写道
新闻：87 ************************** @ posting.google.c om ...

"Momchil Velikov" <ve***@fadata.bg> wrote in message
news:87**************************@posting.google.c om...

[...]
模板<类Obj>
A（typename ptr_to_member< Obj> :: type fn）
{
}

[...]
template<class Obj>
A (typename ptr_to_member <Obj>::type fn)
{
}

这是一个不可导出的背景。

This is a non-deducible context.

template< class Obj>
A（void（Obj :: * fn）（））
{
}

template<class Obj>
A (void (Obj::* fn) ())
{
}

这个上下文是可以推断的。

基本上，如果编译器必须实例化一个匹配
模板参数，然后上下文是不可导入的（
编译器太懒了，无法进行实例化，因为它可能会变得任意复杂，并且在某些情况下可能会导致奇怪的递归）。

戴夫

This context is deducible.

Basically, if the compiler has to instantiate a type to match a
template parameter, then the context is non-deducible (the
compiler is too lazy to do the instantiation, since it could
become arbitrarily complex, and probably lead to weird
recursions in some cases).

Dave

[只是评论]

有趣的是，Visual C ++ 6.0（SP5）是在模板方面还不是一个非常标准的符合
的编译器，它设法推断出上下文。


Chris

[Just a comment]
Interestingly enough Visual C++ 6.0 (SP5) which is not yet a very standard
compliant compiler in terms of templates, manages to deduce the context.

Chris

" Chris Theis" &LT;章************* @ nospam.cern.ch&GT;在消息中写道

news：bk ********** @ sunnews.cern.ch ...

"Chris Theis" <Ch*************@nospam.cern.ch> wrote in message
news:bk**********@sunnews.cern.ch...

[...]
[只是评论]
有趣的是，Visual C ++ 6.0（SP5）在模板方面还不是一个非常符合标准的编译器，它设法推断出上下文。

[...]
[Just a comment]
Interestingly enough Visual C++ 6.0 (SP5) which is not yet a very
standard compliant compiler in terms of templates, manages to
deduce the context.

有趣。请尝试使用此代码：


模板< typename T>

结构标识

{

typedef T type;

};


template< typename T>

void foo（typename identity< T> ::类型）

{

}


int main（）

{

int i;

foo（i）;

}


Comeau在线提供：


" ComeauTest.c"，第15行：错误：没有函数模板的实例" foo"

匹配参数列表

你使用的参数类型是：（int）

foo（i）;

^


注意身份元函数是经常明确地使用

压制扣除，所以VC6确实是真的破了，如果它无论如何都要执行
扣除（但我怀疑它不是，

和你的测试代码一起发生了其他事情。）


Dave

Interesting. Please try this code on it:

template <typename T>
struct identity
{
typedef T type;
};

template <typename T>
void foo(typename identity<T>::type)
{
}

int main()
{
int i;
foo(i);
}

Comeau online gives:

"ComeauTest.c", line 15: error: no instance of function template "foo"
matches the argument list
The argument types that you used are: (int)
foo(i);
^

Note that the identity metafunction is often used explicitly to
suppress deduction, so VC6 is truly broken indeed if it performs
the deduction anyway (but I have a suspicion that it doesn''t,
and something else is going on with your test code).

Dave