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

Если речь про assert на 18 строке, то в С++20 никак. Потому что данная проверка никак не относится к концептам.
Потому что это контракт функции, а не концепт, которому тип должен удовлетворять.
Контрактов в С++ нет пока что.

источник

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

AD

Andrey Davydov in pro.cxx

Casual tears

https://godbolt.org/z/NuNgKB
Что прописать в концепте чтобы такую ошибку в компайлтайме поймать?

godbolt.org

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

template <typename S>
concept Socket = requires(S socket, std::uint8_t* p, std::size_t n) {
{ socket.receive(p, n) } -> std::size_t;
};

struct UdpSocket {
std::size_t receive(std::uint8_t* p, std::uint8_t n);
};

static_assert(Socket);

template <typename S> requires Socket
std::size_t receive_at_least(S& socket, std::uint8_t* p, std::size_t n, std::size_t nmax) {
assert(n <= nmax);
std::size_t received = 0;

while (received < n) {
received += socket.receive(p + received, nmax - received);
}

return received;
}

std::size_t foo(UdpSocket& s);
std::size_t foo(UdpSocket& s) {
std::uint8_t buffer[4096];
return receive_at_least(s, buffer, 2048, sizeof(buffer));
}

https://godbolt.org/z/Y99VNd

источник

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

Ct

Casual tears in pro.cxx

Andrey Davydov

https://godbolt.org/z/Y99VNd

Окей, span конечно проблему в данном кейсе решает, но мне более общее решение интересно. Как потребовать точное совпадение типов параметров функции?

источник

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

Ct

Casual tears in pro.cxx

Danya

Если речь про assert на 18 строке, то в С++20 никак. Потому что данная проверка никак не относится к концептам.
Потому что это контракт функции, а не концепт, которому тип должен удовлетворять.
Контрактов в С++ нет пока что.

Речь про то что цикл там бесконечный и вызов foo никогда не завершится, потому что 4096 - 0 неявно кастится к std::uint8_t и превращается в 0, а в концепте std::size_t

источник

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

AD

Andrey Davydov in pro.cxx

Casual tears

Окей, span конечно проблему в данном кейсе решает, но мне более общее решение интересно. Как потребовать точное совпадение типов параметров функции?

-Wconversion: https://godbolt.org/z/RFGUEc, другого способа я не знаю (ну и все-таки правильные типы выбирать, std::span, к примеру, они как раз для этого и существуют, чтобы ошибки ловить в compile time).

источник

12:21пожаловаться #14

Ct

Casual tears in pro.cxx

Andrey Davydov

-Wconversion: https://godbolt.org/z/RFGUEc, другого способа я не знаю (ну и все-таки правильные типы выбирать, std::span, к примеру, они как раз для этого и существуют, чтобы ошибки ловить в compile time).

Опираться на compiler-specific варнинги что-то не очень хочется. Span помогает в данном кейсе, в каком-нибудь другом похожем уже не поможет.

источник

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

m

magras in pro.cxx

Casual tears

Речь про то что цикл там бесконечный и вызов foo никогда не завершится, потому что 4096 - 0 неявно кастится к std::uint8_t и превращается в 0, а в концепте std::size_t

Если устраивает требование точного совпадения сигнатуры можно как-то так: https://godbolt.org/z/so2uDN

godbolt.org

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

template <typename S>
concept Socket = requires(S socket, std::uint8_t* p, std::size_t n) {
{ socket.receive(p, n) } -> std::size_t;
{ socket.receive } -> std::size_t(std::uint8_t*, std::size_t);
};

struct UdpSocket {
std::size_t receive(std::uint8_t* p, std::uint8_t n);
};

static_assert(Socket);

template <typename S> requires Socket
std::size_t receive_at_least(S& socket, std::uint8_t* p, std::size_t n, std::size_t nmax) {
assert(n <= nmax);
std::size_t received = 0;

while (received < n) {
received += socket.receive(p + received, nmax - received);
}

return received;
}

std::size_t foo(UdpSocket& s);
std::size_t foo(UdpSocket& s) {
std::uint8_t buffer[4096];
return receive_at_least(s, buffer, 2048, sizeof(buffer));
}

источник

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

AD

Andrey Davydov in pro.cxx

Casual tears

Опираться на compiler-specific варнинги что-то не очень хочется. Span помогает в данном кейсе, в каком-нибудь другом похожем уже не поможет.

Тогда выбирайте другой язык программирования. В C++ есть implicit conversion, это факт с которым надо смириться, концепты не могут "убрать" из языка эту фичу. Один класс конверсий, являющийся особо опасным -- narrowing -- компиляторы умеют детектить и кидаться ворнингами, есть proposal(ы), на то, чтобы добавить соотвествующий type trait: http://wg21.link/p0870.

источник

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

Ct

Casual tears in pro.cxx

magras

Если устраивает требование точного совпадения сигнатуры можно как-то так: https://godbolt.org/z/so2uDN

godbolt.org

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

template <typename S>
concept Socket = requires(S socket, std::uint8_t* p, std::size_t n) {
{ socket.receive(p, n) } -> std::size_t;
{ socket.receive } -> std::size_t(std::uint8_t*, std::size_t);
};

struct UdpSocket {
std::size_t receive(std::uint8_t* p, std::uint8_t n);
};

static_assert(Socket);

template <typename S> requires Socket
std::size_t receive_at_least(S& socket, std::uint8_t* p, std::size_t n, std::size_t nmax) {
assert(n <= nmax);
std::size_t received = 0;

while (received < n) {
received += socket.receive(p + received, nmax - received);
}

return received;
}

std::size_t foo(UdpSocket& s);
std::size_t foo(UdpSocket& s) {
std::uint8_t buffer[4096];
return receive_at_least(s, buffer, 2048, sizeof(buffer));
}

https://godbolt.org/z/KERK6Z
Как теперь сделать чтобы TcpSocket проходил?

godbolt.org

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

template <typename S>
concept Socket = requires(S socket, std::uint8_t* p, std::size_t n) {
{ socket.receive(p, n) } -> std::size_t;
{ socket.receive } -> std::size_t(std::uint8_t*, std::size_t);
};

struct UdpSocket {
std::size_t receive(std::uint8_t* p, std::uint8_t n);
};

struct IoVec {
// a bunch of buffers here.
};

struct TcpSocket {
std::size_t receive(std::uint8_t* p, std::size_t n);
std::size_t receive(IoVec& io);
};

static_assert(Socket);
static_assert(Socket);

template <typename S> requires Socket
std::size_t receive_at_least(S& socket, std::uint8_t* p, std::size_t n, std::size_t nmax) {
assert(n <= nmax);
std::size_t received = 0;

while (received < n) {
received += socket.receive(p + received, nmax - received);
}

return received;
}

std::size_t foo(UdpSocket& s);
std::size_t foo(UdpSocket& s) {
std::uint8_t buffer[4096];
return receive_at_least(s, buffer, 2048, sizeof(buffer));
}

источник

12:41пожаловаться #18

Ct

Casual tears in pro.cxx

А, дак оно и с исправленным UdpSocket не работает: https://godbolt.org/z/bhDp4j

godbolt.org

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

template <typename S>
concept Socket = requires(S socket, std::uint8_t* p, std::size_t n) {
{ socket.receive(p, n) } -> std::size_t;
{ socket.receive } -> std::size_t(std::uint8_t*, std::size_t);
};

struct UdpSocket {
std::size_t receive(std::uint8_t* p, std::size_t n);
};

struct IoVec {
// a bunch of buffers here.
};

struct TcpSocket {
std::size_t receive(std::uint8_t* p, std::size_t n);
std::size_t receive(IoVec& io);
};

//static_assert(Socket);
static_assert(Socket);

template <typename S> requires Socket
std::size_t receive_at_least(S& socket, std::uint8_t* p, std::size_t n, std::size_t nmax) {
assert(n <= nmax);
std::size_t received = 0;

while (received < n) {
received += socket.receive(p + received, nmax - received);
}

return received;
}

std::size_t foo(UdpSocket& s);
std::size_t foo(UdpSocket& s) {
std::uint8_t buffer[4096];
return receive_at_least(s, buffer, 2048, sizeof(buffer));
}

источник

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

Ct

Casual tears in pro.cxx

Andrey Davydov

Тогда выбирайте другой язык программирования. В C++ есть implicit conversion, это факт с которым надо смириться, концепты не могут "убрать" из языка эту фичу. Один класс конверсий, являющийся особо опасным -- narrowing -- компиляторы умеют детектить и кидаться ворнингами, есть proposal(ы), на то, чтобы добавить соотвествующий type trait: http://wg21.link/p0870.

Я хочу просто потребовать нормальной имплементации концепта от клиентского кода, а не implicit conversion из языка вырезать.

источник

12:47пожаловаться #20