да, конечно

+

спасибо

https://github.com/fnc12/sqlite_orm крутая тема

https://github.com/fnc12/sqlite_orm крутая тема

Последнее время стал замечать, что современные библиотеки на C++ стараются делать "header only". Некоторые даже переписывают специально для этого.

Последнее время стал замечать, что современные библиотеки на C++ стараются делать "header only". Некоторые даже переписывают специально для этого.

часть программистов не умеет ставить не header-only либы, поэтому расширяют охват

https://github.com/fnc12/sqlite_orm крутая тема

make_column("id", &User::id, autoincrement(), primary_key()), Когда уже завезут рефлексию, чтоб это делалось само?

make_column("id", &User::id, autoincrement(), primary_key()), Когда уже завезут рефлексию, чтоб это делалось само?

ну, во-первых, юзер может хотеть разные названия поля и столбца

во-вторых, я тоже хочу рефлексию :D

ну, во-первых, юзер может хотеть разные названия поля и столбца

Ммм, но разве смысл орм не в обратном?

Ты просто пишешь класс

Ммм, но разве смысл орм не в обратном?

разумно.

Вызываешь сделать_хорошо()

И у тебя готовая бд

Как в спринге, например

Еще бы и обратное было

создание на лету классов-отображений сущностей из таблиц

всё потому что нет метаклассов

пишешь ты CREATE TABLE на sqlite, а компилятор тебе классы генерит по ней

шутка

Именно

Последнее время стал замечать, что современные библиотеки на C++ стараются делать "header only". Некоторые даже переписывают специально для этого.

это дает более эффективный код на выходе без использования WPO/LTO

всё потому что нет метаклассов

будут же )

всё потому что нет метаклассов

Шаблонов нехватает? ._.

Шаблонов нехватает? ._.

неа, надо как макросы в лиспе/расте

и препроцессор выкинуть к хуям

и препроцессор выкинуть к хуям

тогда не будет pragma once

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

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

Метаклассы, модули... боюсь, что к тому времени не останется никого, кто будет испытывать от этого радость. Программы будет писать сильный ИИ, а люди получать безусловный доход. :)

мб и людей уже не будет...

тогда не будет pragma once

Будут модули же.

Метаклассы, модули... боюсь, что к тому времени не останется никого, кто будет испытывать от этого радость. Программы будет писать сильный ИИ, а люди получать безусловный доход. :)

ой, ну так каждый раз холивар про метаклассы начинается

ой, ну так каждый раз холивар про метаклассы начинается

Выглядит слишком хорошо, чтобы стать правдой :)

тогда не будет pragma once

будут модули

@square_root, почистил?

попросили пройти в холиварню

В супапро

не все знают, что в с++ можно выбрать оба стула )

тем вот он и прекрасен

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

Ага. И будет писать на D.

на D вряд ли, уж скорее на расте

на раст скорее

есть кто по шаблонной магии?

как вот это можно без макросни написать? #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 {}; \ } \

никак

если видишь ##name значит жди метаклассов

имя не важно

вся конструкция 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 {}; }

я понимаю, я про то что ты делаешь has_##whatever и это умеет только препроцессор

забей на это, нужно просто одним оператором написать

Никак

вот эту штуку переиспользовать не получается 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

В лс

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; }