如果几个线程共享一个指向同一个对象的指针,那么调用它的虚方法安全吗?当然,我们应该假设方法本身是线程安全的。
class Base {
public:
virtual int test(int arg) = 0;
};
class Derived1: public Base {
public:
virtual int test(int arg) { return arg * 2; }
};
class Derived2: public Base {
public:
virtual int test(int arg) { return arg * 3; }
};
//call in threads:
Base* base = (pointer to the same Derived1);
int value = base->test(1);发布于 2013-02-07 22:29:51
是的,这很好,前提是对象*base的生命周期超过了函数调用的生命周期。
发布于 2013-02-07 22:30:57
调用虚函数通常是通过查找类中的vtable条目来实现的。这个vtable不会改变,所以对于这个实现来说,它应该是线程安全的。
我不认为有一般的保证。
发布于 2013-02-07 22:49:22
根据Kerrek SB对前一个答案的评论,我已经回答了大约三次。在我看来,在没有阅读规范的情况下,直到我的眼睛出血,我都不确定什么不应该是虚拟调用的线程安全--“虚拟函数选择”(vtable或其他任何可能的)的实现应该不会造成任何问题,因为它应该只是一个指向函数的指针,它是根据所选函数的索引或类似函数来调用的。
很抱歉,这不是一个答案,但我很难看到任何场景,在任何我知道它是如何工作的处理器上(x86,68K,29k,ARM都是我工作过的,足以理解虚拟函数是如何在汇编程序中实现的),如果在上面的例子中我们运行第二个线程来修改base所指向的元素,你可能会遇到某种竞争条件,比如基值指向错误的虚拟函数集,或者诸如此类的情况。但这不是调用本身,而是修改base的代码“不是线程安全”。
当然,可能会有一些“业余”编译器以其他方式解决虚函数问题。
当然,如果出现问题--除非你在整个虚拟调用期间都阻塞了其他线程--而且如果你有一个类,通过让虚拟函数run(void *args)作为“这就是在线程内运行的东西”来实现线程,我已经见过好几次了,这几乎会完全杀死这个功能!
因此,基本上,虽然我不能参考规范部分说这是安全的,但我看不到除了“它必须是”之外的任何解决方案。
https://stackoverflow.com/questions/14753416
复制相似问题