Форум на Исходниках.RU https://forum.sources.ru Форум на Исходниках.RU Форум на Исходниках.RU https://forum.sources.ru/index.php?showtopic=435873&view=findpost&p=3892225 Fri, 23 Jun 2023 07:46:35 +0000 Как заставить компилятор ругаться на вот такой код? https://forum.sources.ru/index.php?showtopic=435873&view=findpost&p=3892225 Цитата Qraizer @
Это более гибко и возможно более подходит для твоей задачи

Не не не, не для моей. Мне наоборот нужно до рантайма получить сведения о потенциальных дырах.]]> Majestio C/C++: Общие вопросы https://forum.sources.ru/index.php?showtopic=435873&view=findpost&p=3892215 Thu, 22 Jun 2023 19:49:21 +0000 Как заставить компилятор ругаться на вот такой код? https://forum.sources.ru/index.php?showtopic=435873&view=findpost&p=3892215 Qraizer C/C++: Общие вопросы https://forum.sources.ru/index.php?showtopic=435873&view=findpost&p=3892213 Thu, 22 Jun 2023 18:31:36 +0000 Как заставить компилятор ругаться на вот такой код? https://forum.sources.ru/index.php?showtopic=435873&view=findpost&p=3892213 Цитата Qraizer @
Если есть желание немного немного помедитировать, я бы предложил посмотреть на это:

Ну это, как говорится, сахар из другого варенья ;)

Начиная тему, я просто задался вопросом как зачекать такие "скользкие" моменты. Ну а как там решать дальше - дело десятое.]]> Majestio C/C++: Общие вопросы https://forum.sources.ru/index.php?showtopic=435873&view=findpost&p=3892211 Thu, 22 Jun 2023 17:30:31 +0000 Как заставить компилятор ругаться на вот такой код? https://forum.sources.ru/index.php?showtopic=435873&view=findpost&p=3892211
    // шаблон для безопасного приведения типов  U => T
    // контролирует диапазон целевого типа T и бросает исключение в случае его нарушения значением U
    template <typename T, typename U> struct SafeCast
    {
      static T doIt(const U& val)
      {
        using     common_type = std::common_type_t<T, U>; // тип, общий для U и T
        // минимальный максимум для U и T
        constexpr common_type high= std::min(static_cast<common_type>(std::numeric_limits<T>::max()),
                                             static_cast<common_type>(std::numeric_limits<U>::max())),
        // максимальный минимум для U и T (особая обработка для U и T разной знаковости)
                              low = std::is_signed_v<T> == std::is_signed_v<U> ?
                                            std::max(static_cast<common_type>(std::numeric_limits<T>::min()),
                                                     static_cast<common_type>(std::numeric_limits<U>::min()))
                                                                               : 0;
        // проверка диапазона
        if (val > high || val < low)
          throw std::out_of_range("Value exceeds allowed bounds.");
        // всё в порядке, каст
        return static_cast<T>(val);
      }
    };
     
    /* Безопасный к переполнению каст арифметических типов. */
    template <typename T, typename U>
    inline T safe_cast(const U& val)
    {
      return SafeCast<T, U>::doIt(val);
    }
Можно обойтись без класса, просто функцией, но тогда сложно предотвратить неявные касты к U при вызове, а они будут сильно мешать. Класс – самое простое решение не позволить никаких неявных кастов.]]> Qraizer C/C++: Общие вопросы https://forum.sources.ru/index.php?showtopic=435873&view=findpost&p=3892201 Thu, 22 Jun 2023 14:47:58 +0000 Как заставить компилятор ругаться на вот такой код? https://forum.sources.ru/index.php?showtopic=435873&view=findpost&p=3892201 Цитата Qraizer @
/W3

:good:]]> Majestio C/C++: Общие вопросы https://forum.sources.ru/index.php?showtopic=435873&view=findpost&p=3892190 Thu, 22 Jun 2023 13:16:20 +0000 Как заставить компилятор ругаться на вот такой код? https://forum.sources.ru/index.php?showtopic=435873&view=findpost&p=3892190 Qraizer C/C++: Общие вопросы https://forum.sources.ru/index.php?showtopic=435873&view=findpost&p=3892159 Thu, 22 Jun 2023 05:13:54 +0000 Как заставить компилятор ругаться на вот такой код? https://forum.sources.ru/index.php?showtopic=435873&view=findpost&p=3892159 Цитата Qraizer @
Т.е. формально для беззнаковых целых задача в принципе нерешаема, для знаковых она зависит от возможностей реализации

И все же бинго, нашёл! :victory:

При использовании опции компилятора -Wconversion для GCC, компилятор замечает нарушение беспорядка :lol:

    main.cpp: In function ‘int main()’:
    main.cpp:12:10: warning: conversion from ‘uint64_t’ {aka ‘long unsigned int’} to ‘uint16_t’ {aka ‘short unsigned int’} may change value [-Wconversion]
       12 |     Test(blin); // <-- ругаться нужно тут
          |          ^~~~

Qraizer, проверь, пожалуйста, ключики для мелкомягкого компилятора, для моего исходного кода:

    cl.exe /W2 /EHsc main.cpp

Интересно, что твой компилятор найдёт, и что его не устроит.]]> Majestio C/C++: Общие вопросы https://forum.sources.ru/index.php?showtopic=435873&view=findpost&p=3892158 Wed, 21 Jun 2023 22:36:58 +0000 Как заставить компилятор ругаться на вот такой код? https://forum.sources.ru/index.php?showtopic=435873&view=findpost&p=3892158 Цитата Qraizer @
Т.е. формально для беззнаковых целых задача в принципе нерешаема, для знаковых она зависит от возможностей реализации. Например, в VC есть ключик -RTCc, но это конкретно его фича. Причём работает она даже для беззнаковых. Где-либо ещё её может и не быть или она управляется иначе.

Да, печалька. Кажется такой простой и очевидный вопрос :-?]]> Majestio C/C++: Общие вопросы https://forum.sources.ru/index.php?showtopic=435873&view=findpost&p=3892143 Wed, 21 Jun 2023 14:11:33 +0000 Как заставить компилятор ругаться на вот такой код? https://forum.sources.ru/index.php?showtopic=435873&view=findpost&p=3892143 Цитата Majestio @
Т.е. без метапрограммирования никак? Может какие-то ключи компилятора смогут ворнинг на это запилить?
В Стандарте чёрным по-англицки написано:
Цитата 7.8 Integral conversions
2 If the destination type is unsigned, the resulting value is the least unsigned integer congruent to the source integer (modulo 2n where n is the number of bits used to represent the unsigned type). [ Note: In a two’s complement representation, this conversion is conceptual and there is no change in the bit pattern (if there is no truncation). —end note ]
3 If the destination type is signed, the value is unchanged if it can be represented in the destination type; otherwise, the value is implementation-defined.

Т.е. формально для беззнаковых целых задача в принципе нерешаема, для знаковых она зависит от возможностей реализации. Например, в VC есть ключик -RTCc, но это конкретно его фича. Причём работает она даже для беззнаковых. Где-либо ещё её может и не быть или она управляется иначе.

P.S. В документации VS этот ключик даже явно определён как нарушающий Стандарт:
Цитата
Because /RTCc rejects code that conforms to the standard, it's not supported by the C++ Standard Library.


Добавлено
P.P.S. Метапрограммирование тем и замечательно, что ты волен напрограммить на нём любые дополнительные аспекты, каковые тебе понадобились, если они не выходят за рамки грамматики языка. Так что не стоит его сторониться.]]> Qraizer C/C++: Общие вопросы https://forum.sources.ru/index.php?showtopic=435873&view=findpost&p=3892116 Wed, 21 Jun 2023 07:37:13 +0000 Как заставить компилятор ругаться на вот такой код? https://forum.sources.ru/index.php?showtopic=435873&view=findpost&p=3892116
    void test_func(uint8_t arg);
    void test()
    {
        uint64_t i = 0;
        uint8_t test[] = {i};
        test_func(test[0]);
    }
    file.cpp: In function 'void test()':
    file.cpp:28:23: warning: narrowing conversion of 'i' from 'uint64_t' {aka 'long long unsigned int'} to 'uint8_t' {aka 'unsigned char'} [-Wnarrowing]
       28 |     uint8_t test[] = {i};
          |                       ^
]]> Dushevny C/C++: Общие вопросы https://forum.sources.ru/index.php?showtopic=435873&view=findpost&p=3892115 Wed, 21 Jun 2023 07:27:12 +0000 Как заставить компилятор ругаться на вот такой код? https://forum.sources.ru/index.php?showtopic=435873&view=findpost&p=3892115 Majestio C/C++: Общие вопросы https://forum.sources.ru/index.php?showtopic=435873&view=findpost&p=3892109 Wed, 21 Jun 2023 04:47:34 +0000 Как заставить компилятор ругаться на вот такой код? https://forum.sources.ru/index.php?showtopic=435873&view=findpost&p=3892109
    template <typename T>
    typename std::enable_if<std::is_same_v<T, uint16_t>, void>::type Test(const T cho) {
      cout << "Okay: " << cho << endl;
    }
Нынче модно пользовать концепты, но это решение работоспособно и ранее C++20

Добавлено
Впрочем, на концептах не сильно-то иначе:
    template <typename T> requires std::same_as<T, uint16_t>
    void Test(const T cho)
    {
      cout << "Okay: " << cho << endl;
    }
]]> Qraizer C/C++: Общие вопросы https://forum.sources.ru/index.php?showtopic=435873&view=findpost&p=3892106 Tue, 20 Jun 2023 21:29:33 +0000 Как заставить компилятор ругаться на вот такой код? https://forum.sources.ru/index.php?showtopic=435873&view=findpost&p=3892106
    #include <iostream>
    #include <limits>
     
    using namespace std;
     
    void Test(const uint16_t cho) {
      cout << "Okay: " << cho << endl;
    }
     
    int main() {
        uint64_t blin = std::numeric_limits<uint64_t>::max();
        Test(blin); // <-- ругаться нужно тут
        return 0;
    }
]]> Majestio C/C++: Общие вопросы