Tutorial: Metafunctions and Higher-Order Metaprogramming Boost MPL 库文档的一部分指出 transform可以这样调用
typename mpl::transform<D1,D2, mpl::minus<_1,_2> >::type
其中占位符 _1和 _2表示当转换的 BinaryOperation被调用时，它的第一个和第二个参数将传递给 _1 指示的位置中的 minus。和 _2 , 分别。
我已经一遍又一遍地阅读了将近一个月，但我仍然不明白。
占位符 _1 到底有什么值？和 _2有？ D1和 D2 ？如果是这样，为什么不写 mpl::minus<D1,D2> ？还考虑到占位符是 defined as typedef arg<1> _1;和 typedef arg<2> _2;因此，在我看来的原始表达方式是
typename mpl::transform<D1,D2, mpl::minus<<arg<1>,<arg<2> > >::type
我确定我对占位符的理解是错误的。如果能给我一些指导，我将不胜感激。
最佳答案
确实，您对占位符的看法是错误的。
mpl::minus是 MPL 元语言中的一个模板，象征性地表示(或对应)某种高级行为，即减法。您将其视为函数等非元构造
int minus(int a, int b) { return a - b; }
但事实并非如此。 (标准 C++11 库确实有类似的东西，称为 std::minus<> ，但这不是 mpl::minus 的作用!)
mpl::minus 表示更高抽象级别的减法运算。不要担心另外几段关于如何mpl::minus实现。想想它代表的意思，就是两个东西的减法。
啊，但是哪两件事？嗯，mpl::minus允许您将这些东西指定为模板参数。例如，
mpl::minus<mpl::int_<7>, mpl::int_<3>>
扩展为一个类型，其成员 typedef type与mpl::int_<4>相同.
好的，但是在 Boost 的维度分析示例中，它们不仅有两个东西；他们有序列 D1和 D2尺寸。 (这是非常重要的一点!)减去序列与减去整数不同；考虑
auto a = std::vector<int>{ 1, 0, 0 };
auto b = std::vector<int>{ 0, 1, 0 };
auto c = (a - b); // Won't compile!
同样，在元空间中，
using a = mpl::vector<mpl::int_<1>, mpl::int_<0>, mpl::int_<0>>;
using b = mpl::vector<mpl::int_<1>, mpl::int_<0>, mpl::int_<0>>;
using c = mpl::minus<a,b>; // Won't compile!
在第一种情况下，我们的意思是
auto c = std::vector<int>{};
std::transform(a.begin(), a.end(), b.begin(), std::back_inserter(c), std::minus<>{});
在第二种(元)情况下，我们的意思是
using c = mpl::transform<a, b, mpl::minus>::type; // caveat: we're not done yet
请注意 C++11 std::transform采用成对的迭代器 a.begin(), a.end()而不仅仅是 a ;需要 b.begin()但不是 b.end() ( a deficiency that is only now being corrected by the Committee );它变异 c通过输出迭代器，而不是返回一个全新的对象，以提高效率。 MPL 的编译时元版本采用容器 a和 b直接返回一个新容器c ，即它具有值语义，恕我直言，这更容易考虑。
所以，以上都是正确的，EXCEPT一个小细节! mpl::transform实际上是一种非常通用的算法，这意味着它希望您详细说明转换的细节。你说“mpl::minus”，意思是“减去”，好吧，但是从什么减去什么？从第二个元素中减去第一个序列的元素？从第一个元素中减去第二个元素？减去 42从第二个序列的元素中完全抛弃第一个序列？
好吧，我们的意思是“从第一个序列的元素中减去第二个序列的元素”。我们写成
using c = mpl::transform<a, b, mpl::minus<_1, _2>>::type;
我们同样可以这样写
using c = mpl::transform<b, a, mpl::minus<_2, _1>>::type;
——意思完全一样。
这个通用 transform算法让我们可以编写复杂的转换，例如
// hide some irrelevant boilerplate behind an alias
template<typename... Ts>
using multiplies_t = mpl::multiplies<Ts...>::type;
// compute c = a^2 + 2ab + 1
using c = mpl::transform<a, b,
mpl::plus<multiplies_t< _1, _1 >, // a^2 ...
multiplies_t< mpl::int_<2>, _1, _2 >, // ... + 2ab ...
mpl::int_<1>> // ... + 1
>::type;
这里我们可以引用序列a的相同元素三次，使用符号 _1 , 而 _2引用序列b的对应元素.
所以，这就是符号的点 _1和 _2在 mpl::transform 的背景下.但您可能仍然想知道它们是如何实现的。好吧，这里没有魔法。它们也可以作为
template<int> struct _ {};
using _1 = _<1>;
using _2 = _<2>;
只要它们在 C++ 的类型系统中获得唯一的、可区分的实体，这就是 MPL 真正关心的。
但事实上，它们实际上被实现为 mpl::arg 特化的 typedef。 ，这导致了一个漂亮的把戏。自 _1是 mpl::arg<1> 的同义词, 我们可以说
_1::apply<A,B,C>::type is the same type as A
_2::apply<A,B,C>::type is the same type as B
...
我猜 mpl::transform能够在内部利用这一事实。
关于c++ - 关于boost mpl占位符的推理，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/25838356/
我的瘦服务器配置了nginx，我的ROR应用程序正在它们上运行。在我发布代码更新时运行thinrestart会给我的应用程序带来一些停机时间。我试图弄清楚如何优雅地重启正在运行的Thin实例，但找不到好的解决方案。有没有人能做到这一点？ 最佳答案 #Restartjustthethinserverdescribedbythatconfigsudothin-C/etc/thin/mysite.ymlrestartNginx将继续运行并代理请求。如果您将Nginx设置为使用多个上游服务器，例如server{listen80;server
如何将send与+=一起使用？a=20;a.send"+=",10undefinedmethod`+='for20:Fixnuma=20;a+=10=>30 最佳答案 恐怕你不能。+=不是方法，而是语法糖。参见http://www.ruby-doc.org/docs/ProgrammingRuby/html/tut_expressions.html它说Incommonwithmanyotherlanguages,Rubyhasasyntacticshortcut:a=a+2maybewrittenasa+=2.你能做的最好的事情是:
我对如何计算通过{%assignvar=0%}赋值的变量加一完全感到困惑。这应该是最简单的任务。到目前为止，这是我尝试过的:{%assignamount=0%}{%forvariantinproduct.variants%}{%assignamount=amount+1%}{%endfor%}Amount:{{amount}}结果总是0。也许我忽略了一些明显的东西。也许有更好的方法。我想要存档的只是获取运行的迭代次数。 最佳答案 因为{{incrementamount}}将输出您的变量值并且不会影响{%assign%}定义的变量，我
我有一个数组数组，想将元素附加到子数组。+=做我想做的，但我想了解为什么push不做。我期望的行为(并与+=一起工作):b=Array.new(3,[])b[0]+=["apple"]b[1]+=["orange"]b[2]+=["frog"]b=>[["苹果"],["橙子"],["Frog"]]通过推送，我将推送的元素附加到每个子数组(为什么？):a=Array.new(3,[])a[0].push("apple")a[1].push("orange")a[2].push("frog")a=>[[“苹果”、“橙子”、“Frog”]、[“苹果”、“橙子”、“Frog”]、[“苹果”、“
我在我的rails应用程序中安装了来自github.com的acts_as_versioned插件，但有一段代码我不完全理解，我希望有人能帮我解决这个问题class_eval我知道block内的方法(或任何它是什么)被定义为类内的实例方法，但我在插件的任何地方都找不到定义为常量的CLASS_METHODS，而且我也不确定是什么here，并且有问题的代码从lib/acts_as_versioned.rb的第199行开始。如果有人愿意告诉我这里的内幕，我将不胜感激。谢谢-C 最佳答案 这是一个异端。http://en.wikipedia
有没有办法让Ruby能够做这样的事情？classPlane@moved=0@x=0defx+=(v)#thisiserror@x+=v@moved+=1enddefto_s"moved#{@moved}times,currentxis#{@x}"endendplane=Plane.newplane.x+=5plane.x+=10putsplane.to_s#moved2times,currentxis15 最佳答案 您不能在Ruby中覆盖复合赋值运算符。任务在内部处理。您应该覆盖+，而不是+=。plane.a+=b与plane.a=
出于某种原因，heroku尝试要求dm-sqlite-adapter，即使它应该在这里使用Postgres。请注意，这发生在我打开任何URL时-而不是在gitpush本身期间。我构建了一个默认的Facebook应用程序。gem文件:source:gemcuttergem"foreman"gem"sinatra"gem"mogli"gem"json"gem"httparty"gem"thin"gem"data_mapper"gem"heroku"group:productiondogem"pg"gem"dm-postgres-adapter"endgroup:development,:t
我是Ruby和这个网站的新手。下面两个函数是不同的，一个在函数外修改变量，一个不修改。defm1(x)x我想确保我理解正确-当调用m1时，对str的引用被复制并传递给将其视为x的函数。运算符当调用m2时，对str的引用被复制并传递给将其视为x的函数。运算符+创建一个新字符串，赋值x=x+"4"只是将x重定向到新字符串，而原始str变量保持不变。对吧？谢谢 最佳答案 String#+::str+other_str→new_strConcatenation—ReturnsanewStringcontainingother_strconc
按照目前的情况，这个问题不适合我们的问答形式。我们希望答案得到事实、引用或专业知识的支持，但这个问题可能会引发辩论、争论、投票或扩展讨论。如果您觉得这个问题可以改进并可能重新打开，visitthehelpcenter指导。关闭9年前。我最近开始学习Ruby，这是我的第一门编程语言。我对语法感到满意，并且我已经完成了许多只教授相同基础知识的教程。我已经写了一些小程序(包括我自己的数组排序方法，在有人告诉我谷歌“冒泡排序”之前我认为它非常聪明)，但我觉得我需要尝试更大更难的东西来理解更多关于Ruby.关于如何执行此操作的任何想法？
我正在使用PostgreSQL9.1.3(x86_64-pc-linux-gnu上的PostgreSQL9.1.3，由gcc-4.6.real(Ubuntu/Linaro4.6.1-9ubuntu3)4.6.1，64位编译)和在ubuntu11.10上运行3.2.2或3.2.1。现在，我可以使用以下命令连接PostgreSQLsupostgres输入密码我可以看到postgres=#我将以下详细信息放在我的config/database.yml中并执行“railsdb”，它工作正常。开发:adapter:postgresqlencoding:utf8reconnect:falsedat