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

🧰 The Rust SQL Toolkit. An async, pure Rust SQL crate featuring compile-time checked queries without a DSL. Supports PostgreSQL, MySQL, SQLite, and MSSQL. - launchbadge/sqlx

14:51пожаловаться #1

RP

Roman Proskuryakov in pro.cxx

Anatoly Shirokov

Оффтоп: Встроенный SQL - антипаттерн. RPC и кодогенерация по формальному описанию сигнатуры спасет мир :)

А это уже не важно, можно во время компиляции хоть ходить в субд, проверять запросы на тестовой схеме, как это делает растовый https://github.com/launchbadge/sqlx. Главное иметь возможность оперировать типами и рефлексией.

GitHub

launchbadge/sqlx

14:52пожаловаться #2

АК

namespace foo {
template <class T>
concept has_string_name = requires() {
{ T::name }
->std::same_as<std::string>;
};
template <class T>
concept has_string_description = requires() {
{ T::description }
->std::same_as<std::string>;
};
template <class T>
concept has_string_short_name = requires() {
{ T::short_name }
->std::same_as<std::optional<std::string>>;
};

template <class T>
concept is_option = //
has_string_name<T> //
&& has_string_short_name<T> //
&& has_string_description<T>; //

struct option {
std::optional<std::string> short_name;
std::string name;
std::string description;
};

static_assert(is_option<option>, "Is Not Option.");
}
int main(){}

Кто в концептах разбирается, подскажите кто не прав - Clang, GCC или я?
https://godbolt.org/z/369fjv

godbolt.org

Compiler Explorer - C++

-fconcepts-diagnostics-depth=2 в gcc показал, что он считает T::name ссылкой на std::string, из-за чего фейлится

14:53пожаловаться #3

D

Danya in pro.cxx

namespace foo {

template <class T>
concept has_string_name = requires(T t) {
{ t.name() }
->std::same_as<std::string>;
};
template <class T>
concept has_string_description = requires(T t) {
{ t.description() }
->std::same_as<std::string>;
};
template <class T>
concept has_string_short_name = requires(T t) {
{ t.short_name() }
->std::same_as<std::optional<std::string>>;
};

template <class T>
concept optionable = //
has_string_name<T> //
&& has_string_short_name<T> //
&& has_string_description<T>; //

struct option {
auto short_name() -> std::optional<std::string>;
auto name() -> std::string;
auto description() -> std::string;
};

static_assert(optionable<option>, "Is Not Option.");
}
int main(){}

При том, что на функциях - работает.
https://godbolt.org/z/GaK1Ma

godbolt.org

Compiler Explorer - C++

Ты неправильно делаешь

W

Ты неправильно делаешь

А как правильно?
Я хочу компилтайм диспатчинг на концептах.

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

АК

А как правильно?
Я хочу компилтайм диспатчинг на концептах.

template <class T>
concept has_string_name = std::same_as<decltype(T::name), std::string>;

14:55пожаловаться #6

D

Danya in pro.cxx

template <class T>
concept has_string_name = std::same_as<decltype(T::name), std::string>;

+

W

template <class T>
concept has_string_name = std::same_as<decltype(T::name), std::string>;

Опять портянки темплейтов...

14:55пожаловаться #8

АК

Опять портянки темплейтов...

я бы написал так всё это:

template <class T>
concept is_option = requires {
    requires std::same_as<decltype(T::name), std::string>;
    requires std::same_as<decltype(T::description), std::string>;
    requires std::same_as<decltype(T::short_name), std::optional<std::string>>;
};

(в данном случае лучше упростить до &&, но если внутри будут какие-то ещё требования, кроме полей, то лучше именно так)

W

я бы написал так всё это:

template <class T>
concept is_option = requires {
    requires std::same_as<decltype(T::name), std::string>;
    requires std::same_as<decltype(T::description), std::string>;
    requires std::same_as<decltype(T::short_name), std::optional<std::string>>;
};

(в данном случае лучше упростить до &&, но если внутри будут какие-то ещё требования, кроме полей, то лучше именно так)

Спасибо.
Можешь кинуть что-нибудь почитать/доклады по концептам?

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

АК

Спасибо.
Можешь кинуть что-нибудь почитать/доклады по концептам?

Выработанных практик ещё нет, поэтому всё исключительно на собственном небольшом опыте

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

W

Выработанных практик ещё нет, поэтому всё исключительно на собственном небольшом опыте

Ясно :(

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

DP

Denis Paukaev in pro.cxx

-fconcepts-diagnostics-depth=2 в gcc показал, что он считает T::name ссылкой на std::string, из-за чего фейлится

он там вроде берёт decltype((T::name)) для такой конструкции

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

AP

Antony Polukhin in pro.cxx

И Ivan

Ну можно какнибудь через + склеивать. Мне вообще кажется такое определение через "параметры отдельно, значения отдельно" контринтуитивным, не только в sql

Увы, в SQL prepared statements пишутся только с подобным синтаксисом. Ну и на библиотеке не стоит задача их склеивать, хорошая библиотека превратит этот запрос один раз в хранимку а потом должна только проверять, что количество аргументов верное, и передавать только аргументы, без тела SQL запроса

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

W

Синтаксис: type func(some_concept auto args); // Не приняли?
Ибо type func(some_concept args); - отклонили.
А писать template</*....*/> ещё раз не хочется, т.к. он в концепте уже раз написан.

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

DP

Denis Paukaev in pro.cxx

Синтаксис: type func(some_concept auto args); // Не приняли?
Ибо type func(some_concept args); - отклонили.
А писать template</*....*/> ещё раз не хочется, т.к. он в концепте уже раз написан.

почему не приняли?

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

W

Denis Paukaev

почему не приняли?

А, пардон. Забыл дропнуть кеш смака. Всё работает.

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

АК

Синтаксис: type func(some_concept auto args); // Не приняли?
Ибо type func(some_concept args); - отклонили.
А писать template</*....*/> ещё раз не хочется, т.к. он в концепте уже раз написан.

Этот синтаксис ещё почти никем не поддерживается. Только недавно в один из компиляторов завезли, емнип

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

W

Этот синтаксис ещё почти никем не поддерживается. Только недавно в один из компиляторов завезли, емнип

Clang-11.0.1 и gcc-10.2 вполне поддерживают.

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

АК

Clang-11.0.1 и gcc-10.2 вполне поддерживают.

Круто! Видимо, я отстал от жизни.