abseil / abseil/abseil-cpp

MSVC2019 complains about reinterpret_cast in absl::Condition

未关闭
#971 0 条评论 0 个 reaction 已指派 0 人 在 GitHub 查看
bug
主要语言
C++
星标
18.1k
派生
3.2k
平均合并
20 小时 36 分钟
30 天内合并 PR
1

描述

**Describe the bug**

MSVC2019 fails to compile the following code snippet:

```cpp
#include "absl/synchronization/mutex.h"
#include

struct A : std::enable_shared_from_this {
virtual ~A() = default;
};

struct B : A {
bool is_ready();

void func() {
absl::Condition{this, &B::is_ready};
}
};
```

The root cause seems to be a `reinterpret_cast` which casts between member function pointers of different classes.
Those have the same size in GCC/Clang but apparently they are different in MSVC.

Error message:
```

C:/data/libraries/installed/x64-windows/include\absl/synchronization/mutex.h(946): error C2440: 'reinterpret_cast': cannot convert from 'bool (__cdecl B::* )(void)' to 'absl::Condition::InternalMethodType'
C:/data/libraries/installed/x64-windows/include\absl/synchronization/mutex.h(946): note: Pointers to members have different representations; cannot cast between them
(12): note: see reference to function template instantiation 'absl::Condition::Condition(T *,bool (__cdecl B::* )(void))' being compiled
with
[
T=B
]
Compiler returned: 2
```

**Steps to reproduce the bug**

A minimal breaking example is here: https://gcc.godbolt.org/z/ff5qczj4M

**What version of Abseil are you using?**

trunk and latest LTS. Both are affected.

**What operating system and version are you using**

Windows 10

**What compiler and version are you using?**

So far I've only tried MSVC2019. I assume that all versions of MSVC which share the same ABI (2015,2017,2019) are affected.

**What build system are you using?**

CMake 3.18.4 - but I guess that's not so relevant.

**Additional context**

I'm no expert in C++ standardese, but I seems to me that MSVC is correct in the sense that it is allowed to have member function pointers with different underlying data structures which can't be casted to each other.

贡献指南

打开贡献指南

评估

这个 Issue 还没有评估数据。

把新 issue 发到你的邮箱

精选适合新手参与的 GitHub issue 摘要。