为了问题的缘故，这被大大简化了。假设我有一个层次结构:
struct Base {
virtual int precision() const = 0;
};
template<int Precision>
struct Derived : public Base {
typedef Traits<Precision>::Type Type;
Derived(Type data) : value(data) {}
virtual int precision() const { return Precision; }
Type value;
};
我想要一个带有签名的非模板函数:
Base* function(const Base& a, const Base& b);
其中函数结果的特定类型与a和b中具有较大Precision的那个类型相同；类似于以下伪代码:
Base* function(const Base& a, const Base& b) {
if (a.precision() > b.precision())
return new A( ((A&)a).value + A(b.value).value );
else if (a.precision() < b.precision())
return new B( B(((A&)a).value).value + ((B&)b).value );
else
return new A( ((A&)a).value + ((A&)b).value );
}
其中A和B分别是a和b的具体类型。我希望 function 独立于 Derived 的实例化数量进行操作。我想避免大量的 typeid() 比较表，尽管 RTTI 的答案很好。有什么想法吗？
最佳答案
你要的是multiple dispatch ，又名多方法。它不是 C++ 语言的特性。
有针对特殊情况的解决方法，但您无法避免自己进行一些实现。
多重分派(dispatch)的一种常见模式称为“重新分派(dispatch)”，又名“递归延迟分派(dispatch)”。基本上，一个虚方法解析一个参数类型，然后调用另一个虚方法，直到解析完所有参数。外部函数(如果有的话)只调用这些虚方法中的第一个。
假设有 n 个派生类，将有一个方法来解析第一个参数，n 解析第二个参数，n*n 解析第三个参数，依此类推 - 无论如何，最坏的情况。这是相当多的手动工作，使用基于 typeid 的条件 block 对于初始开发可能更容易，但使用重新分配对于维护来说更可靠。
class Base;
class Derived1;
class Derived2;
class Base
{
public:
virtual void Handle (Base* p2);
virtual void Handle (Derived1* p1);
virtual void Handle (Derived2* p1);
};
class Derived1 : public Base
{
public:
void Handle (Base* p2);
void Handle (Derived1* p1);
void Handle (Derived2* p1);
};
void Derived1::Handle (Base* p2)
{
p2->Handle (this);
}
void Derived1::Handle (Derived1* p1)
{
// p1 is Derived1*, this (p2) is Derived1*
}
void Derived1::Handle (Derived2* p1)
{
// p1 is Derived2*, this (p2) is Derived1*
}
// etc
使用派生类的模板来实现它会很困难，处理它的模板元编程可能不可读、不可维护且非常脆弱。不过，使用非模板方法实现分派(dispatch)，然后使用混合模板(将其基类作为模板参数的模板类)来扩展它的附加功能可能还不错。
visitor design pattern与(基本上使用)重新分发 IIRC 密切相关。
另一种方法是使用专为处理该问题而设计的语言，并且有一些选项可以很好地与 C++ 配合使用。一种是使用 treecc - 一种用于处理 AST 节点和多分派(dispatch)操作的特定领域语言，它与 lex 和 yacc 一样，生成“源代码”作为输出。
它为处理调度决策所做的全部工作是根据 AST 节点 ID 生成 switch 语句——它可以很容易地成为动态类型值类 ID IYSWIM。但是，这些是您不必编写或维护的 switch 语句，这是一个关键的区别。我遇到的最大问题是 AST 节点的析构函数处理被篡改了，这意味着除非您做出特殊努力，否则不会调用成员数据的析构函数 - 即它最适合字段的 POD 类型。
另一种选择是使用支持多方法的语言预处理器。其中有一些，部分原因是 Stroustrup 在某一点上确实有相当完善的想法来支持多方法。 CMM是一个。 Doublecpp是另一个。还有一个是 Frost Project .我相信 CMM 最接近 Stroustrup 所描述的，但我还没有检查过。
不过，归根结底，多重分派(dispatch)只是做出运行时决策的一种方式，而且有很多方法可以处理相同的决策。专业 DSL 带来了相当多的麻烦，因此您通常只在需要大量多重调度时才这样做。 Redispatch 和 visitor 模式是健壮的 WRT 维护，但是以一些复杂性和困惑为代价。对于简单的情况，简单的条件语句可能是更好的选择，但要注意在编译时检测未处理情况的可能性即使不是不可能也是很困难的。
通常情况下，没有一种正确的方法可以做到这一点，至少在 C++ 中是这样。
关于c++ - 基于模板参数在 C++ 中模拟动态调度，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/2436165/
exe应该在我打开页面时运行。异步进程需要运行。有什么方法可以在ruby中使用两个参数异步运行exe吗？我已经尝试过ruby命令-system()、exec()但它正在等待过程完成。我需要用参数启动exe，无需等待进程完成是否有任何rubygems会支持我的问题？ 最佳答案 您可以使用Process.spawn和Process.wait2:pid=Process.spawn'your.exe','--option'#Later...pid,status=Process.wait2pid您的程序将作为解释器的子进程执行。除
我的瘦服务器配置了nginx，我的ROR应用程序正在它们上运行。在我发布代码更新时运行thinrestart会给我的应用程序带来一些停机时间。我试图弄清楚如何优雅地重启正在运行的Thin实例，但找不到好的解决方案。有没有人能做到这一点？ 最佳答案 #Restartjustthethinserverdescribedbythatconfigsudothin-C/etc/thin/mysite.ymlrestartNginx将继续运行并代理请求。如果您将Nginx设置为使用多个上游服务器，例如server{listen80;server
我正在使用puppet为ruby程序提供一组常量。我需要提供一组主机名，我的程序将对其进行迭代。在我之前使用的bash脚本中，我只是将它作为一个puppet变量hosts=>"host1,host2"我将其提供给bash脚本作为HOSTS=显然这对ruby不太适用——我需要它的格式hosts=["host1","host2"]自从phosts和putsmy_array.inspect提供输出["host1","host2"]我希望使用其中之一。不幸的是，我终其一生都无法弄清楚如何让它发挥作用。我尝试了以下各项:我发现某处他们指出我需要在函数调用前放置“function_”……这
我有一些Ruby代码，如下所示:Something.createdo|x|x.foo=barend我想编写一个测试，它使用double代替block参数x，这样我就可以调用:x_double.should_receive(:foo).with("whatever").这可能吗？ 最佳答案 specify'something'dox=doublex.should_receive(:foo=).with("whatever")Something.should_receive(:create).and_yield(x)#callthere
是的，我知道最好使用webmock，但我想知道如何在RSpec中模拟此方法:defmethod_to_testurl=URI.parseurireq=Net::HTTP::Post.newurl.pathres=Net::HTTP.start(url.host,url.port)do|http|http.requestreq,foo:1endresend这是RSpec:let(:uri){'http://example.com'}specify'HTTPcall'dohttp=mock:httpNet::HTTP.stub!(:start).and_yieldhttphttp.shou
我正在为一个项目制作一个简单的shell，我希望像在Bash中一样解析参数字符串。foobar"helloworld"fooz应该变成:["foo","bar","helloworld","fooz"]等等。到目前为止，我一直在使用CSV::parse_line，将列分隔符设置为""和.compact输出。问题是我现在必须选择是要支持单引号还是双引号。CSV不支持超过一个分隔符。Python有一个名为shlex的模块:>>>shlex.split("Test'helloworld'foo")['Test','helloworld','foo']>>>shlex.split('Test"
我不确定传递给方法的对象的类型是否正确。我可能会将一个字符串传递给一个只能处理整数的函数。某种运行时保证怎么样？我看不到比以下更好的选择:defsomeFixNumMangler(input)raise"wrongtype:integerrequired"unlessinput.class==FixNumother_stuffend有更好的选择吗？ 最佳答案 使用Kernel#Integer在使用之前转换输入的方法。当无法以任何合理的方式将输入转换为整数时，它将引发ArgumentError。defmy_method(number)
两者都可以defsetup(options={})options.reverse_merge:size=>25,:velocity=>10end和defsetup(options={}){:size=>25,:velocity=>10}.merge(options)end在方法的参数中分配默认值。问题是:哪个更好？您更愿意使用哪一个？在性能、代码可读性或其他方面有什么不同吗？编辑:我无意中添加了bang(!)...并不是要询问nobang方法与bang方法之间的区别 最佳答案 我倾向于使用reverse_merge方法:option
我有一个只接受一个参数的方法:defmy_method(number)end如果使用number调用方法，我该如何引发错误？？通常，我如何定义方法参数的条件？比如我想在调用的时候报错:my_method(1) 最佳答案 您可以添加guard在函数的开头，如果参数无效则引发异常。例如:defmy_method(number)failArgumentError,"Inputshouldbegreaterthanorequalto2"ifnumbereputse.messageend#=>Inputshouldbegreaterthano
我没有找到太多关于如何执行此操作的信息，尽管有很多关于如何使用像这样的redirect_to将参数传递给重定向的建议:action=>'something',:controller=>'something'在我的应用程序中，我在路由文件中有以下内容match'profile'=>'User#show'我的表演Action是这样的defshow@user=User.find(params[:user])@title=@user.first_nameend重定向发生在同一个用户Controller中，就像这样defregister@title="Registration"@user=Use