以下代码几乎逐字逐句地复制自David Abrahams& Sons,C ++ Template Metaprogramming:Boost and Beyond中的概念,工具和技术的第9.1.1节。 Aleksey Gurtovoy。
唯一的变化是我希望能够使用常规的Boost模板mpl :: identity从书中更改类型包装器模板。但是,在Microsoft Visual C ++ Express 2010(SP1)下,如果我这样做,我会收到一个神秘的编译器警告。
似乎某种程度上与类型包装器模板具有名为“type”的内部typedef这一事实有关。将typedef更改为“Type”(或简单地删除该行)将使代码正常工作。有没有人对这种奇怪的行为有解释?
#include <iostream>
#include <typeinfo>
#include <boost/mpl/for_each.hpp>
#include <boost/mpl/vector.hpp>
namespace mpl = boost::mpl;
// added a nested typedef named "type" is equivalent to mpl::identity
template <class T>
struct wrap
{
// changing type -> Type or removing this line
// makes the code compile and produce correct output!
typedef T type;
};
struct print_type
{
template <class T>
void operator() (wrap<T>) const
{
std::cout << typeid(T).name() << std::endl;
}
};
class A
{
A() {} // private constructor
};
class B
{
B() {} // private constructor
};
typedef boost::mpl::vector<A,B> AB;
int main()
{
boost::mpl::for_each<AB, wrap<mpl::_> >(
print_type()
);
/* Output:
class A
class B
*/
return 0;
}
/I"C:\Program Files\boost\boost_1_47" /I"C:\Program Files\boost" /Zi /nologo /W3 /WX- /O2 /Oi /Oy- /GL /D "WIN32" /D "NDEBUG" /D "_CONSOLE" /D "_UNICODE" /D "UNICODE" /Gm- /EHsc /GS /Gy /fp:precise /Zc:wchar_t /Zc:forScope /Fp"Release\mpl.pch" /Fa"Release\" /Fo"Release\" /Fd"Release\vc100.pdb" /Gd /analyze- /errorReport:queue
的输出:
1>------ Build started: Project: mpl, Configuration: Release Win32 ------
1> main.cpp
1>C:\Program Files\boost\boost_1_47\boost/mpl/for_each.hpp(75): error C2784: 'void print_type::operator ()(wrap<T>) const' : could not deduce template argument for 'wrap<T>' from 'arg'
1> ..\..\..\mpl\main.cpp(20) : see declaration of 'print_type::operator ()'
1> C:\Program Files\boost\boost_1_47\boost/mpl/for_each.hpp(101) : see reference to function template instantiation 'void boost::mpl::aux::for_each_impl<false>::execute<first,last,TransformOp,F>(Iterator *,LastIterator *,TransformFunc *,F)' being compiled
1> with
1> [
1> TransformOp=wrap<boost::mpl::_>,
1> F=print_type,
1> Iterator=first,
1> LastIterator=last,
1> TransformFunc=wrap<boost::mpl::_>
1> ]
1> ..\..\..\mpl\main.cpp(42) : see reference to function template instantiation 'void boost::mpl::for_each<AB,wrap<T>,print_type>(F,Sequence *,TransformOp *)' being compiled
1> with
1> [
1> T=boost::mpl::_,
1> F=print_type,
1> Sequence=AB,
1> TransformOp=wrap<boost::mpl::_>
1> ]
========== Build: 0 succeeded, 1 failed, 2 up-to-date, 0 skipped ==========
答案 0 :(得分:2)
一些术语,从Boost.MPL reference manual转述:
type
apply
的嵌套元函数的类型因此,我们知道wrap<>
是一个元函数,wrap<mpl::_>
是占位符表达式和元函数。
当mpl::for_each<>
传递TransformOp
模板参数的元函数或元函数类时,它会评估该元函数/元函数类以获取转换结果。因此,如果要传递原始占位符表达式而不进行进一步评估,则占位符表达式必须不符合元函数或元函数类的条件。
在您的方案中,由于wrap<>
是一个元功能,mpl::for_each<>
正在对其进行评估并生成A
和B
作为转换后的类型;同时,print_type::operator()<>
期待wrap<A>
和wrap<B>
- 当然这会拒绝编译。