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

То есть второй вариант - all_of(begin(l), end(l), identity)

19:46пожаловаться #1

В любом из случаев logic_and короче

ну, целую функцию писать. хз, как она заинлайнится

19:46пожаловаться #2

То есть второй вариант - all_of(begin(l), end(l), identity)

identity есть в std?

19:47пожаловаться #3

Jerzy Syrowiecki

ну, целую функцию писать. хз, как она заинлайнится

Идеально заинлайнится

19:47пожаловаться #4

Jerzy Syrowiecki

identity есть в std?

Только с 20

19:47пожаловаться #5

Только с 20

годится

19:47пожаловаться #6

спасибо

19:47пожаловаться #7

https://godbolt.org/z/z7vrQw

godbolt.org

Compiler Explorer - C++ (x64 msvc v19.16)

template<typename T, typename = void>
struct has_value_type
{
static constexpr bool value = false;
};

template<typename T>
struct has_value_type< T, std::void_t<typename T::value_type> >
{
static constexpr bool value = false;
};

template<typename T>
constexpr bool has_value_type_v = has_value_type::value;

template<typename T>
struct Foo
{
using type = T;
};

template<typename Container,
std::enable_if_t< has_value_type_v, int > = 0
>
Foo(Container&&) -> Foo< typename std::decay_t<Container&&>::value_type >;

template<typename Functor,
std::enable_if_t< !has_value_type_v, int > = 0
>
Foo(Functor&&) -> Foo< std::invoke_result_t<Functor&&> >;

Декей нужен https://godbolt.org/z/imskTx

godbolt.org

Compiler Explorer - C++ (x64 msvc v19.16)

template<typename T, typename = void>
struct has_value_type
{
static constexpr bool value = false;
};

template<typename T>
struct has_value_type< T, std::void_t<typename T::value_type> >
{
static constexpr bool value = true;
};

template<typename T>
constexpr bool has_value_type_v = has_value_type::value;

template<typename T>
struct Foo
{
using type = T;
};

template<typename Container,
std::enable_if_t< has_value_type_v, int > = 0
>
Foo(Container) -> Foo< typename Container::value_type >;

template<typename Functor,
std::enable_if_t< !has_value_type_v<std::decay_t>, int > = 0
>
Foo(Functor&&) -> Foo< std::invoke_result_t<Functor&&> >;

19:51пожаловаться #8

В твоем варианте обе свиные срабатывали

19:51пожаловаться #9

Vlad Serebrennikov in pro.cxx

или это дефект стандарта пофиксили

я думаю, имеется в виду, что SFINAE должно работать с deduction guides

19:51пожаловаться #10

Vlad Serebrennikov in pro.cxx

по стандарту

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

В твоем варианте обе свиные срабатывали

Нишо не понял, я же даже Foo не инстанцировал, как они могли срабатывать

19:52пожаловаться #12

Нишо не понял, я же даже Foo не инстанцировал, как они могли срабатывать

М. Видимо компилятор понял, что для каких-то типов обе сработают

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

Или это все еще нерабочее. Проверю

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

Compiler Explorer - C++ (x64 msvc v19.16)

Рабочее https://godbolt.org/z/fAR_Ti

godbolt.org

template<typename T, typename = void>
struct has_value_type
{
static constexpr bool value = false;
};

template<typename T>
struct has_value_type< T, std::void_t<typename T::value_type> >
{
static constexpr bool value = true;
};

template<typename T>
constexpr bool has_value_type_v = has_value_type::value;

template<typename T>
struct Foo
{
template <typename U>
Foo(U&&) {}
using type = T;
};

template<typename Container,
std::enable_if_t< has_value_type_v, int > = 0
>
Foo(Container) -> Foo< typename Container::value_type >;

template<typename Functor,
std::enable_if_t< !has_value_type_v<std::decay_t>, int > = 0
>
Foo(Functor&&) -> Foo< std::invoke_result_t<Functor&&> >;

void func() {}

int main() {
std::array a{ 1, 2 };
Foo f1(a);
Foo f2(func);
}

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

не, пишу библиотечный код, который хотелось бы уметь заводить на VS2017

В таком случае я бы добавил ассерт для случая, когда ни один из гайдов не годится. Или это обрабатывается?

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

Все, теперь я нихрена не понимаю почему добавление decay чинит код

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

Он ведь в некоторых случаях ничего не меняет

19:58пожаловаться #18

Все, теперь я нихрена не понимаю почему добавление decay чинит код

Потому что Container& не имеет value_type, а Container имеет

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

Потому что Container& не имеет value_type, а Container имеет

а стоп, ты же в первый ктор написал Container а не Container&&