не переупрощай. unsigned будет 32-битным на большинстве платформ, а size_t - 64-х

первое кстати вроде unspecified до си++20(как и твой код сейчас)

Да, я unsigned не как тип, а как unsigned T

привести результат size_t к знаковому типу. Например к intmax_t

Спасибо парни, вроде так правильно:
((int)strlen(str) > max)

правильно конечно 0 > max || strlen(str) > max

А в 20ом изменили правила каста unsigned -> signed?

мне казалось там ввели 2-complement

коллеги, кто-нибудь использовал S3 Yandex? что лучше использовать для соединения с C++? Подойдет ли библиотека AWS S3?

Да, похоже на правду. Вот кусок из p0907R1:

> Change Conversion from signed to unsigned is always well-defined: the result is the unique value of the destination type that is congruent to the source integer modulo 2N.

Вот текст текущего стандарта: https://eel.is/c++draft/conv.integral

там есть интерфейс s3 (не знаю насчет полноты)

ну т.е файлики я загружал через s3cmd

template <typename T, typename F>
bool foo (const T & x, const F & a, const F & b)
{
    return a (x) == b (x);
}

template <typename T>
bool bar (const T & x, const T & a, const T & b)
{
    return foo (
        x,
        [&] (const T & arg) {return a == arg;},
        [&] (const T & arg) {return b == arg;});
}

int main ()
{
    bar (0, 0, 0);
}

Почему дедукция ломается? Выдаёт вот такую ошибку

no matching function for call to ‘foo(const int&, bar(const T&, const T&, const T&) [with T = int]::<lambda(const int&)>, bar(const T&, const T&, const T&) [with T = int]::<lambda(const int&)>)’

deduced conflicting types for parameter ‘const F’ (‘bar(const T&, const T&, const T&) [with T = int]::<lambda(const int&)>’ and ‘bar(const T&, const T&, const T&) [with T = int]::<lambda(const int&)>’)

Помогает добавить третий параметр в foo, например вот так template <typename T, typename F1, typename F2>

Но должно ведь работать и с одним, разве нет???

Сигнатуры ведь идентичны

попробую предположить, что лямбда разворачивается в класс с перегруженным operator(). Следоватльно, их типы будут разные вне зависимости от сигнаруты

по этой причине собсвенно, третий параметр шаблонный и помогает

А ещё работает, если обернуть лямбды в std::function
Вот так например

std::function<bool(int)> f_a = [&] (const T & arg) {return a == arg;};
std::function<bool(int)> f_b = [&] (const T & arg) {return b == arg;};

return foo (x, f_a, f_b);

ну на то он и type erasure

std::function<bool(int)> f_a = [&] (const T & arg) {return a == arg;};
std::function<bool(int)> f_b = [&] (const T & arg) {return b == arg;};

return foo (x, f_a, f_b);

да, и это тоже логично, потому что теперь тип у них std::function<bool(int)>

Офигеть. Ладно спасибо, буду знать