abseil / abseil/abseil-cpp

MSVC2019 complains about reinterpret_cast in absl::Condition

Aberta
#971 0 comentários 0 reações 0 responsáveis Ver no GitHub
bug
Linguagem predominante
C++
Estrelas
18.1k
Forks
3.2k
Merge médio
20h 36min
PRs com merge (30d)
1

Descrição

**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.

Guia de contribuição

Abrir o guia de contribuição

Avaliação

Esta issue ainda não foi avaliada.

Receba novas issues na sua caixa de entrada

Um resumo curto de issues do GitHub para quem está começando.