Программа:
#include <stdio.h>
struct bar_t {
int value;
template<typename T>
bar_t (const T& t) : value { t } {}
// edit: You can uncomment these if your compiler supports
// guaranteed copy elision (c++17). Either way, it
// doesn't affect the output.
// bar_t () = delete;
// bar_t (bar_t&&) = delete;
// bar_t (const bar_t&) = delete;
// bar_t& operator = (bar_t&&) = delete;
// bar_t& operator = (const bar_t&) = delete;
};
struct foo_t {
operator int () const { return 1; }
operator bar_t () const { return 2; }
};
int main ()
{
foo_t foo {};
bar_t a { foo };
bar_t b = static_cast<bar_t>(foo);
printf("%d,%d\n", a.value, b.value);
}
для gcc 7/8:
2,2
для clang 4/5 (также для gcc 6.3)
1,1
Похоже, что при создании экземпляров bar_t
происходит следующее:
Для gcc он calls foo_t::operator bar_t
, затем constructs bar_t with T = int
.
Для clang, constructs bar_t with T = foo_t
, затем calls foo_t::operator int
Какой компилятор здесь правильно? (или, может быть, они оба правильны, если это некоторая форма поведения undefined)