C/C++ mixen -> "conflicting C language linkage declaration"

[Vincent H. (vinci)]

Grüß euch

Ich hab scheinbar den Präprozessor und das __cplusplus Macro noch nicht 
so verstanden wie ich dachte. Kann mir jemand erklären was in folgendem 
Beispiel passiert:

// config.h
#pragma once
#if defined(__cplusplus)
namespace a {
inline constexpr auto v = 42;
}  // namespace a
namespace b {
inline constexpr auto v = 41;
}  // namespace b
#endif

// c_header.h
#pragma once
#if defined(__cplusplus)
extern "C" {
#endif
#include "config.h"
#if defined(__cplusplus)
}
#endif

// cpp_header.hpp
#pragma once
#include "c_header.h"

// main.cpp
#include "cpp_header.hpp"
int main() {}

Der Einfachheit halber auch nochmal auf github:
https://github.com/higaski/Mixing_C_Cpp

GCC (12.1.0) compiliert zwar durch, jedoch mit der im Titel erwähnten 
Fehlermeldung.
Clang (13.0.1) weigert sich gleich komplett den Code zu übersetzen und 
meint es handelt sich um eine Redefinition.
Ich dachte eigentlich dass man via __cplusplus geschützten Code und 
Header die jenen enthalten beliebig "stacken" kann.

[Niklas G. (erlkoenig)]

Variablen in namespaces und inline Variablen kann man nicht extern "C" 
machen. Wie soll man da auch aus C drauf zugreifen können?

[Vincent H. (vinci)]

Niklas G. schrieb:
> Variablen in namespaces und inline Variablen kann man nicht extern "C"
> machen. Wie soll man da auch aus C drauf zugreifen können?

Gar nicht, nur was hat das mit der Frage zu tun? Ich würd gern wissen 
weshalb der Code oben nicht compiliert oder warnings produziert? 
Außerdem ist das Verhalten der Compiler nicht konsistent.

Folgendes compiliert zum Beispiel unter Clang (in einer TU):

#if defined(__cplusplus)
extern "C" {
#endif

#ifdef __cplusplus
namespace a {
constexpr auto v = 42;
}

namespace b {
constexpr auto v = 42;
}
#endif

#ifdef __cplusplus
}
#endif

In GCC gibts erneut die Warnung...

[Jim M. (turboj)]

Schau Dir mal den C Präprozessor Output (gcc -E) in obigen Fällen an.

Die "config.h" ist im Falle "C Compiler ohne C++" total leer.

[Vincent H. (vinci)]

Jim M. schrieb:
> Schau Dir mal den C Präprozessor Output (gcc -E) in obigen Fällen an.
>
> Die "config.h" ist im Falle "C Compiler ohne C++" total leer.

Ja das hät ich auch erwartet. Der C Compiler compiliert Sourcen mit dem 
Header auch ohne Probleme.

Und mein Beispiel eben compiliert unter Clang doch nicht, zumindest 
nicht mit inline Keyword...

#if defined(__cplusplus)
extern "C" {
#endif

#ifdef __cplusplus
namespace a {
inline constexpr auto v = 42;
}

namespace b {
inline constexpr auto v = 42;
}
#endif

#ifdef __cplusplus
}
#endif

Soweit ich das bis jetzt kapiert hab dürfte Clang hier schon recht 
haben. Die Variablen bekommen C-Linkage und es kommt tatsächlich zu 
einer Redefinition. Sehr böse...

/edit
Und noch gemeiner dass GCC hier lediglich warnt.

/edit2
Durch das ändern von inline constexpr in static constexpr lässt sich das 
Problem umgehen.

[Rolf M. (rmagnus)]

Niklas G. schrieb:
> Variablen in namespaces und inline Variablen kann man nicht extern "C"
> machen. Wie soll man da auch aus C drauf zugreifen können?

Variablen in Namespaces kann man sehr wohl extern "C" machen. Der 
Namespace wird in diesem Fall im Bezug auf die Linkage ignoriert, und 
zwar sowohl in C, als auch in C++. Und das führt dann dazu:

Vincent H. schrieb:
> Clang (13.0.1) weigert sich gleich komplett den Code zu übersetzen und
> meint es handelt sich um eine Redefinition.

a::v und b::v sind schlicht die selbe Variable, da sie extern "C" sind.

Vincent H. schrieb:
> Durch das ändern von inline constexpr in static constexpr lässt sich das
> Problem umgehen.

Wenn sie static sind, haben sie ja auch keine external linkage mehr. 
Dann bringt's aber auch nichts, sie extern "C" zu machen.

[Vincent H. (vinci)]

Danke für die Erklärung. Extern "C" interessiert mich eh nicht, das 
passiert in dem Fall durch externe Libs...