C++:有没有办法确保编译器调用两次相同的const方法给出相同的结果?

我对以下两个简单的片段感到困惑:

#include <vector>

struct A{
    int foo(int i) const {return v[i];}

    std::vector<int> v;
};

int f(const A &a, int i) {
    int j;
    j=a.foo(i);
    j=a.foo(i);
    return j;
}

它给出了汇编代码:

movsxd  rax, esi
mov     rcx, qword ptr [rdi]
mov     eax, dword ptr [rcx + 4*rax]
ret
movsxd  rax, esi
mov     rcx, qword ptr [rdi]
mov     eax, dword ptr [rcx + 4*rax]
ret

这使:

push    rbp
push    rbx
push    rax
mov     ebp, esi
mov     rbx, rdi
call    _ZNK1A3fooEi
mov     rdi, rbx
mov     esi, ebp
add     rsp, 8
pop     rbx
pop     rbp
jmp     _ZNK1A3fooEi            # TAILCALL

在第一种情况下,编译器“看到”了函数的内部foo并知道他不必调用它两次。在第二种情况下,它只是有它的声明,它似乎不能假设它只能调用一次函数,而函数是 const ......为什么会这样?这是i函数内部和函数内部之间的别名问题foo吗?如果这是一个别名问题,我如何确保编译器不担心?

回答

成员函数被const限定的事实并不意味着该函数没有任何副作用。如果没有看到函数定义,编译器就无法确定该函数不会将某些内容输出到文件中,不会通过网络发送某些内容等。因此,通常,仅调用一次相同的成员函数可能不会产生等效的结果调用它两次(尽管函数被const限定)。

编辑:回答最初的问题:目前,没有标准方法可以将函数标记为没有副作用。一些编译器可能支持自定义属性,例如[[gnu::pure]]and [[gnu::const]],但这不是标准的。


以上是C++:有没有办法确保编译器调用两次相同的const方法给出相同的结果?的全部内容。
THE END
分享
二维码
< <上一篇
下一篇>>