Никак

вот эту штуку переиспользовать не получается namespace impl_ { template <typename, typename... TArguments> struct is_invokable_helper : std::false_type { }; template <typename... TArguments> struct is_invokable_helper<std::void_t<decltype(std::invoke(std::declval<TArguments>()...))>, TArguments...> : std::true_type { }; } template <typename... TArguments> using is_invokable = impl_::is_invokable_helper<TArguments...>;

Можно только отдельно для каждого whatever

вся конструкция namespace sfinae { template <typename T, typename = void> struct has_is_null : std::false_type {}; template <typename T> struct has_is_null<T, std::void_t<decltype((utils::is_null)(std::declval<T>()))>> : std::true_type {}; }

вот, ты написал без макросни, молодец!

мало ли, может я просто тупой)

namespace sfinae { namespace impl_ { template <template<typename...> typename TTemplate, typename, typename... TArguments> struct can_be_instanced_helper : std::false_type { }; template <template<typename...> typename TTemplate, typename... TArguments> struct can_be_instanced_helper<TTemplate, std::void_t<TTemplate<TArguments...>>, TArguments...> : std::true_type { }; } template <template<typename...> typename TTemplate, typename... TArguments> using can_be_instanced = impl_::can_be_instanced_helper<TTemplate, void, TArguments...>; }

вот это получается, опять же здесь не получается применить

Где-то я уже это видел..

is_detected

как вот это можно без макросни написать? #define UTILS_SFINAE_DECLARE_HAS_IF_INVOKABLE_1(name) \ namespace sfinae { \ template <typename T, typename = void> struct has_##name : std::false_type {}; \ template <typename T> struct has_##name<T, std::void_t<decltype(##name(std::declval<T>()))>> : std::true_type {}; \ } \

См detection idiom http://en.cppreference.com/w/cpp/experimental/is_detected

См detection idiom http://en.cppreference.com/w/cpp/experimental/is_detected

Такое ощущение, будто я это и написал между делом)

См detection idiom http://en.cppreference.com/w/cpp/experimental/is_detected

Собственно, у меня не получается единственным случай, когда у меня перегруженная шаблонная фукнция в духе template <typename TType> inline bool is_null(std::unique_ptr<TType> const& value); template <typename TType> inline bool is_null(std::shared_ptr<TType> const& value); template <typename TType> inline bool is_null(TType const* value);

мне приходится трейты руками писать

ааааа! namespace sfinae { template <typename T> using is_null_type = decltype((utils::is_null)(std::declval<T const&>())); template <typename T> using has_is_null = can_be_instanced<is_null_type, T>; }

Надеюсь мне такое никогда не придется писать...

Не знаю, мне нравится

Возможно дело в том, что я учил С++ по книжке Александреску :)

Но Александреску же упоротый гений

Ребята, если ищем разработчика, куда можно эту информацию забросить? Исходя из правил группы не очень понял. Кто подскажет?

@AlexFails

@AlexFails

В лс

Heyy

Еще один вопрос. Уже есть proposal на то, чтобы std::vector и остальные контейнеры выставляли enable_if на операторы ==, <, ...?

Уже было в этом чате

См detection idiom http://en.cppreference.com/w/cpp/experimental/is_detected

Антон, ты представляешь российскую группу по стандартизации C++ ?

И в продолжение: есть ли какие-нибудь принципиальные концепции, позволяющие избежать срезки в operator == ?

Я уже говорил

Какие?

Если они принципиально разные я против этого говна вот что я говорил

struct A { bool operator == (A const& other) { return true; } } struct B : A {} void f() { B b1, b2; b1 == b2; }

Ну это бага в си++

Я пока пытаюсь придумать workaround на это

Для member operator я его просто проверил уже

template <typename TType> constexpr std::enable_if_t<!sfinae::has_member_equal_to<TType>::value, bool> has_possible_bad_member_equal_to() { return false; } template <typename TType> constexpr std::enable_if_t<sfinae::has_member_equal_to<TType>::value, bool> has_possible_bad_member_equal_to() { using type_traits = traits::member_equal_to<TType>; static_assert(type_traits::arity::value == 2, "bad function traits"); return !std::is_same<type_traits::arg<0>::type, TType const*>::value || sizeof(std::remove_reference_t<type_traits::arg<1>::type>) != sizeof(TType) ; }

Я пока размышляю на тему того, чтобы взять & у соответствующей функции и допроверять внешние

Ваще имхо надо неполиморфные ссылки в язык и все

Как ещё один вид

Я это говно не очень продумал покс

Ну это можно реализовать как exact_reference

Надо в язык

Хотя у меня не получилась нормальная реализация

Подскажите, каким образом std string предоставляет одновлеменно c_str и data?

data() — указатель на первый элемент, c_str — ээ... массив?

Подскажите, каким образом std string предоставляет одновлеменно c_str и data?

А в чем проблема?

data() — указатель на первый элемент, c_str — ээ... массив?

Конст

А в чем проблема?

ни в чем. просто в одном null-character есть а в другом нет

ни в чем. просто в одном null-character есть а в другом нет

В смысле нет?

ни в чем. просто в одном null-character есть а в другом нет

Он кажись везде есть

Он кажись везде есть

тогда в чем отличие

Конст

и в имени функции

И дата появилась позже

ни в чем. просто в одном null-character есть а в другом нет

[cling]$ a.c_str()[a.length()] (const char) '0x00' [cling]$ a.data()[a.length()] (const char) '0x00' а это что такое?

[cling]$ a.c_str()[a.length()] (const char) '0x00' [cling]$ a.data()[a.length()] (const char) '0x00' а это что такое?

хм. чет у меня нет

[cling]$ a.c_str()[a.length()] (const char) '0x00' [cling]$ a.data()[a.length()] (const char) '0x00' а это что такое?

UB

Подскажите, каким образом std string предоставляет одновлеменно c_str и data?

это одно и то же, указатель на одну область памяти

Returns a pointer to the underlying array serving as character storage. The pointer is such that the range [data(); data() + size()) is valid and the values in it correspond to the values stored in the string. The returned array is not required to be null-terminated. If empty() returns true, the pointer is a non-null pointer that should not be dereferenced. (until C++11)

http://en.cppreference.com/w/cpp/string/basic_string/c_str

ни в чем. просто в одном null-character есть а в другом нет

У data он не гарантирован для string_view

The returned array is null-terminated, that is, data() and c_str() perform the same function. If empty() returns true, the pointer points to a single null character. (since C++11)

ERROR: S client not available

Returns a pointer to the underlying array serving as character storage. The pointer is such that the range [data(); data() + size()) is valid and the values in it correspond to the values stored in the string. The returned array is not required to be null-terminated. If empty() returns true, the pointer is a non-null pointer that should not be dereferenced. (until C++11)

гм, интересно

блин, не хочу курить правила выбора operator ==

Антон, ты представляешь российскую группу по стандартизации C++ ?

Да, но я в ней не один :)

Да, но я в ней не один :)

Антон, а тебе известны нормальные планы борьбы с вот этим? struct A { bool operator == (A const& other) { return true; } }; struct B : A {}; void f() { B b1, b2; b1 == b2; }

Да, но я в ней не один :)

Да, я знаю. Просто смотрю, что имя и фамилия знакомые)) Кажется ты делал доклад, когда ещё Гор по удаленке был.

тогда в чем отличие

до с++11 data() мог возвращать не нуль терминированную строку, а c_str() мог аллоуировать память и добивать нолик в конец. Но я/ не знаю имплементаций, которые до с++11 не хранили '\0' в конце. С с++11 и позднее , для std::string data() и c_str() - одно и то же

Антон, а тебе известны нормальные планы борьбы с вот этим? struct A { bool operator == (A const& other) { return true; } }; struct B : A {}; void f() { B b1, b2; b1 == b2; }

А чего именно хочется достичь?

Да, я знаю. Просто смотрю, что имя и фамилия знакомые)) Кажется ты делал доклад, когда ещё Гор по удаленке был.

Да, это я :)

А чего именно хочется достичь?

Хочется, чтобы нельзя было ошибиться и вызвать == за счет implicit cast аргументов

до с++11 data() мог возвращать не нуль терминированную строку, а c_str() мог аллоуировать память и добивать нолик в конец. Но я/ не знаю имплементаций, которые до с++11 не хранили '\0' в конце. С с++11 и позднее , для std::string data() и c_str() - одно и то же

а в c++03 после аллокации как удалялось?

Хочется, чтобы нельзя было ошибиться и вызвать == за счет implicit cast аргументов

Вожно например вот так: struct B : A { bool operator==(const B&) const = delete; } ;

Вожно например вот так: struct B : A { bool operator==(const B&) const = delete; } ;

Если автор класса В задумался над тем, что у класса А есть operator ==, то этой проблемы действительно не будет. Менее месяца назад я выяснил, что я могу случайно не задуматься над этой проблемой при наследовании :)

Вожно например вот так: struct B : A { bool operator==(const B&) const = delete; } ;

Лучше даже: struct B : A { } ; bool operator==(const B&, const B&) = delete; bool operator==(const B&, const A&) = delete; bool operator==(const A&, const B&) = delete;

Вожно например вот так: struct B : A { bool operator==(const B&) const = delete; } ;

Собственно сейчас у меня запрашиваются traits на member == и если он есть проверяется, что сигнатура в точности совпадает. Но мне... достаточно проблематично залезть по-нормальному внутрь контейнеров, например

У меня не получилось написать реализацию обертки, которая вызовет конкретную сигнатуру operator == и только её

У меня не получилось написать реализацию обертки, которая вызовет конкретную сигнатуру operator == и только её

У контейнеров есть value_type

У итераторов тоже

Точнее в трейтсах

Если автор класса В задумался над тем, что у класса А есть operator ==, то этой проблемы действительно не будет. Менее месяца назад я выяснил, что я могу случайно не задуматься над этой проблемой при наследовании :)

тогда правильнее наверное: * не наследоваться публично * или не наследоваться от базового класса, ф сделать базовый класс членом класса наследника

Хм... вот это скорее похоже на дефект, чем на разумное поведение #include <vector> int main() { bool(*var)(std::vector<int> const&, std::vector<int> const&) = (&operator==); return 0; }

оказывается в этом контексте не выполняется ADL

кому писать репорт? :) санитарам? :)

кому писать репорт? :) санитарам? :)

В спортлотто

В спортлотто

Ну вот скажи мне, Слава. Это по-твоему дефект или так задумано?

Ну или хотя бы что используется для десериализаторов в facebook

оказывается в этом контексте не выполняется ADL

Ну так у вас и аргументов то нет: функцию вы же и не вызываете :)

А вообще занятно, завтра посмотрю поподробнее

Лучше даже: struct B : A { } ; bool operator==(const B&, const B&) = delete; bool operator==(const B&, const A&) = delete; bool operator==(const A&, const B&) = delete;

А explicite ?

Нельзя применить разве ? Вроде к оператору () можно было

На счет других не знаю, проясните :?

Или тут речь о классе предке :?