wander написав:

Teg Miles написав:

Підкажіть із CMakeLists.txt, я всі проєкти з ним роблю.

Ну, можна якось так:

▼Прихований текст

cmake_minimum_required(VERSION 3.20)

project(test)

include(CheckCXXSymbolExists)
check_cxx_symbol_exists(_LIBCPP_VERSION "cstddef" IS_LIBCXX)

set(CXX_LIBSTD_DEBUG_FLAGS)
if(${CMAKE_BUILD_TYPE} STREQUAL "Debug")
    if(IS_LIBCXX)
        # NOTE: debug mode is immature in Clang, and values of _LIBCPP_DEBUG above 0
        # require  the debug build of libc++ to be present at linktime.
        list(APPEND CXX_LIBSTD_DEBUG_FLAGS _LIBCPP_DEBUG=1)
    else()
        # Enable diagnostic features of standard class templates, including ability
        # to examine containers in gdb.
        # See https://gcc.gnu.org/onlinedocs/libstdc++/manual/debug_mode_using.html
        list(APPEND CXX_LIBSTD_DEBUG_FLAGS _GLIBCXX_DEBUG)
    endif()
endif()

option(CXX_ENABLE_SANITIZER_ADDRESS   "Enable address sanitizer." YES)
option(CXX_ENABLE_SANITIZER_UNDEFINED "Enable UB sanitizer."      YES)

set(CXX_SANITIZERS "")

if(CXX_ENABLE_SANITIZER_ADDRESS)
    list(APPEND CXX_SANITIZERS "address")
endif()

if(CXX_ENABLE_SANITIZER_UNDEFINED)
    list(APPEND CXX_SANITIZERS "undefined")
endif()

list(JOIN CXX_SANITIZERS "," CXX_ENABLED_SANITIZERS)

add_executable(out_of_bounds_test
    main.cpp)
# Set c++20
target_compile_features(out_of_bounds_test PRIVATE cxx_std_20)
# Set c++ standard library build flags
target_compile_definitions(out_of_bounds_test
    PRIVATE ${CXX_LIBSTD_DEBUG_FLAGS})
# Set sanitizers (if any)
target_compile_options(out_of_bounds_test
    PUBLIC -fsanitize=${CXX_ENABLED_SANITIZERS})
target_link_options(out_of_bounds_test
    PUBLIC -fsanitize=${CXX_ENABLED_SANITIZERS})

Посилання на godbolt.

Teg Miles написав:

Два останніх закоментив, бо ще не знаю, яку там конфігурацію краще обрати.

Перевизначати будь-які CMAKE_<LANG>_FLAGS_<BUILD_TYPE> – погана ідея (виняток: якщо інакше не обійтись).

А якщо ось так:

add_compile_options(
"$<$<COMPILE_LANGUAGE:CXX>:-Ofast;-DNDEBUG;-std=c++20;-march=native;-fpic;-ftree-vectorize>"
)

wander написав:

А, чому ви вирішили, що другий варіант працює без помилок?

Бо там не було повідомлень про помилку.

масив змінної довжини (VLA) це синтаксний цукор

Там ще є приклади, і вони тільки підтверджують, що діставати адресу [так як я зробив] можна, і в даному випадку це не буде UB, див. рядки

Цей struct є trivial

і цей конструктор не має параметрів

тому тут все файно (well defined)

Чи "активний/не активний" це про щось інше ?

In a union, a non-static data member is active if its name refers to an object whose lifetime has begun and has not ended. At most one of the non-static data members of an object of union type can be active at any time, that is, the value of at most one of the non-static data members can be stored in a union at any time.

When the left operand of an assignment operator involves a member access expression that nominates a union member, it may begin the lifetime of that union member (ie may make it active) [...]

union MyLinkedList { // Чому `union`???

    /*
    Яка роль цих структур? Для чого вони? Це якийсь особливий прийом обфускації?)
    static struct C { // І чому тут `static`?
        int const v;
        C const *const p, *const n;
    };
    struct {
        int const length;
        C const *const tail, *const head;
    };
    */

    ...

    // Об'єкт `o` (він же член класу), ще не розпочав час свого життя.
    // Коли ініціалізація `o({ 0, &o, &o })` виконується, об'єкт `o` ще не ініціалізовано,
    // і взяття його адреси або використання для самоініціалізації є невизначеною поведінкою.
    // Це тому, що `o` використовується до завершення його ініціалізації.
    MyLinkedList() : o({ 0, &o, &o }) { }

    N *getNode(int i) {
        int c = l + 1 // << UB, спроба прочитати неактивний мембер `l` юніона.
        ...
    }
    void addAfterNode(N *p, int v) {
        ...
        ++l; // << UB, спроба прочитати неактивний мембер `l` юніона.
    }
    void deleteNode(N *x) {
        --l; // Теж саме, в інших функціях ті ж проблеми з активними/неактивними мемберами.
        ...;
    }

    ...
};

MyLinkedList myList;
myList.addAtHead(5);
auto i = myList.get(0);

Якщо замість 1-символьних поставити повні ідентифікатори і видалити #define'и, то код більш читабельним не стане.