Телеграмм чат группы supapro страница 33209

Size: a a a

supapro.cxx

2953 membersпожаловаться на группу

2020 August 06

Danya in supapro.cxx

https://godbolt.org/z/1Pj5nT
Что я делаю не так....

godbolt.org

Compiler Explorer - C++ (x86-64 gcc 10.2)

template <typename T>
concept has_bool_foo = requires() {
{ T::foo } -> std::same_as<bool>;
};

struct Bar {
static constexpr bool foo = false;
};

static_assert(has_bool_foo<Bar>);

источник

12:59пожаловаться #1

🎄T

🎄🎊 R 🎅 Tb| ✡️ 🎊🎄... in supapro.cxx

Danya

https://godbolt.org/z/1Pj5nT
Что я делаю не так....

godbolt.org

Compiler Explorer - C++ (x86-64 gcc 10.2)

template <typename T>
concept has_bool_foo = requires() {
{ T::foo } -> std::same_as<bool>;
};

struct Bar {
static constexpr bool foo = false;
};

static_assert(has_bool_foo<Bar>);

https://godbolt.org/z/786o17

godbolt.org

Compiler Explorer - C++ (x86-64 gcc 10.2)

template <typename T>
concept has_bool_foo = requires() {
{ T::foo } -> std::same_as<const bool&>;
};

struct Bar {
static constexpr bool foo = false;
};

static_assert(has_bool_foo<Bar>);

https://godbolt.org/z/786o17

godbolt.org

Compiler Explorer - C++ (x86-64 gcc 10.2)

template <typename T>
concept has_bool_foo = requires() {
{ T::foo } -> std::same_as<const bool&>;
};

struct Bar {
static constexpr bool foo = false;
};

static_assert(has_bool_foo<Bar>);

Рили что ли..

Спасибо

Till Schneider in supapro.cxx

Danya

https://godbolt.org/z/1Pj5nT
Что я делаю не так....

godbolt.org

Compiler Explorer - C++ (x86-64 gcc 10.2)

template <typename T>
concept has_bool_foo = requires() {
{ T::foo } -> std::same_as<bool>;
};

struct Bar {
static constexpr bool foo = false;
};

static_assert(has_bool_foo<Bar>);

в следующий раз воспользуйся

-fconcepts-diagnostics-depth=10

и ошибка будет очевидна

https://godbolt.org/z/786o17

godbolt.org

Compiler Explorer - C++ (x86-64 gcc 10.2)

template <typename T>
concept has_bool_foo = requires() {
{ T::foo } -> std::same_as<const bool&>;
};

struct Bar {
static constexpr bool foo = false;
};

static_assert(has_bool_foo<Bar>);

Не до конца прочитал сообщение об ошибке, точнее не совсем внимательно

в следующий раз воспользуйся

-fconcepts-diagnostics-depth=10

и ошибка будет очевидна

Я воспользовался и мне не помогло, потому что я плохо читаю

источник

13:09пожаловаться #7

Till Schneider in supapro.cxx

Till Schneider

в следующий раз воспользуйся

-fconcepts-diagnostics-depth=10

и ошибка будет очевидна

там прям будет написано
'is_same_v<_Tp, _Up> [with _Tp = const bool&; _Up = bool]' evaluated to 'false'

источник

13:09пожаловаться #8

Till Schneider in supapro.cxx

Danya

Я воспользовался и мне не помогло, потому что я плохо читаю

ок =)

там прям будет написано
'is_same_v<_Tp, _Up> [with _Tp = const bool&; _Up = bool]' evaluated to 'false'

Я уже увидел, угу

источник

13:09пожаловаться #10

Aidar Fattakhov in supapro.cxx

Danya

Я уже увидел, угу

https://godbolt.org/z/erW58a

godbolt.org

Compiler Explorer - C++ (x86-64 gcc 10.2)

template <typename T>
concept has_bool_foo = requires() {
{ T::foo } -> std::same_as<const bool&>;
};

struct Bar {
static constexpr bool foo = false;
};

static_assert(has_bool_foo<Bar>);

источник

13:10пожаловаться #11

Aidar Fattakhov in supapro.cxx

короче там decltype((x)) почемуто

источник

13:11пожаловаться #12

Aidar Fattakhov in supapro.cxx

а не decltype(x)

источник

13:11пожаловаться #13

Aidar Fattakhov in supapro.cxx

в любом случае convertable лучше

источник

13:11пожаловаться #14

Till Schneider in supapro.cxx

Aidar Fattakhov

в любом случае convertable лучше

тогда там въедет int и другая дичь

источник

13:13пожаловаться #15

Danya in supapro.cxx

Till Schneider

тогда там въедет int и другая дичь

+, неприемлимое поведение для меня

источник

13:13пожаловаться #16

Aidar Fattakhov in supapro.cxx

Till Schneider

тогда там въедет int и другая дичь

ну и пускай

источник

13:13пожаловаться #17

Danya in supapro.cxx

Aidar Fattakhov

ну и пускай

Нет, у меня есть четкая спека и я ей следую
Ну я обсужу конечно с командой

источник

13:14пожаловаться #18

Aidar Fattakhov in supapro.cxx

у тебя опять слишком строгие контракты

источник

13:14пожаловаться #19

Aidar Fattakhov in supapro.cxx

можно сделать decayed_same_as

источник

13:14пожаловаться #20