gpt4 book ai didi

c++ - 使用 boost::mpl::for_each 类型包装器错误(Abrahams & Gurtovoy 书中的第 9.1.1 节)

转载 作者:塔克拉玛干 更新时间:2023-11-03 06:57:37 25 4
gpt4 key购买 nike

以下代码几乎是从 David Abrahams 和 Aleksey Gurtovoy 所著的《C++ 模板元编程:Boost and Beyond 中的概念、工具和技术》一书的第 9.1.1 节中逐字复制的。

唯一的变化是我希望能够使用常规的 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"发布\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 ==========

最佳答案

一些术语,转述自Boost.MPL reference manual :

  • 元函数 是一种具有名为 type 的嵌套类型的类型
  • 元函数类 是一种具有名为 apply 的嵌套元函数的类型
  • 占位符表达式是一种 MPL 占位符或类模板特化类型,至少有一个参数本身是占位符表达式

因此我们知道wrap<>是一个元函数,wrap<mpl::_>既是占位符表达式又是元函数。

mpl::for_each<>TransformOp 传递元函数或元函数类模板参数,它评估元函数/元函数类以获得转换结果。因此,如果您想传递原始占位符表达式而不进行进一步计算,您的占位符表达式不得满足元函数或元函数类的标准。

在你的场景中,因为 wrap<> 元函数,mpl::for_each<>正在评估并生产 AB作为转换后的类型;与此同时,print_type::operator()<>期待一个 wrap<A>wrap<B> -- 当然这会拒绝编译。

关于c++ - 使用 boost::mpl::for_each 类型包装器错误(Abrahams & Gurtovoy 书中的第 9.1.1 节),我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/7574378/

25 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com