Clang narzeka: „wskaźnik jest inicjowany przez tablicy tymczasowej”

Question

Mam tablicę (wskaźniki do) tablic o różnych długościach, które nauczyłem mogłem zdefiniować za pomocą literałów złożonych:

const uint8_t *const minutes[] = { 
    (const uint8_t[]) {END}, 
    (const uint8_t[]) {1, 2, 3, 4, 5 END}, 
    (const uint8_t[]) {8, 9, END}, 
    (const uint8_t[]) {10, 11, 12, END}, 
    ... 
}; 

gcc akceptuje tę właśnie dobrze, ale clang mówi: pointer is initialized by a temporary array, which will be destroyed at the end of the full-expression. Co to znaczy? Kod wydaje się być do pracy, ale znowu, wiele rzeczy wydaje się do pracy, gdy wskazują na pamięć, która nie jest już przydzielona. Czy jest to coś, o co muszę się martwić? (Ostatecznie naprawdę potrzebuję go tylko do pracy z gcc.)

Aktualizacja: Coś podejrzanego dzieje się. Mówi here że:

Compound literals yield lvalues. This means that you can take the address of a compound literal, which is the address of the unnamed object declared by the compound literal. As long as the compound literal does not have a const-qualified type, you can use the pointer to modify it.

`struct POINT *p; 
    p = &(struct POINT) {1, 1}; 

Ten przykładowy kod wydaje się, że robi dokładnie to, co usiłuję zrobić: wskaźnik do czegoś zdefiniowanej przez związek dosłownym. Czy komunikat o błędzie klang jest wiarygodny? Czy to wskaże na nieprzydzieloną pamięć po kompilacji z klangiem lub gcc?

Aktualizacja 2: Znaleziono niektóre documentation: „W C dosłownym związek wyznacza anonimowego obiektu ze statycznym lub automatycznym czas przechowywania W C++, związek dosłowne oznacza tymczasowy obiekt, który tylko żyje aż do końca. jego pełnego wyrażenia "Tak więc wydaje się, że klang ma rację, ostrzegając o tym, a gcc prawdopodobnie również powinien, ale nie, nawet z -Wall -Wextra.

Nie mogę zgadnąć, dlaczego użyta funkcja C została usunięta z języka C++ i nie podano eleganckiego alternatywnego sposobu osiągnięcia tego samego.

Answer 1

Cóż, dzyń ma rację, a odbywa się to w ten sposób:

namespace elements 
{ 
    const uint8_t row1[] = {END}; 
    const uint8_t row2[] = {1, 2, 3, 4, 5, END}; 
    ... 
} 
const uint8_t *const minutes[] = { 
    elements::row1, 
    elements::row2, 
    ... 
}; 

można myśleć bardziej C roztworu ++, jak przy użyciu std::tuple:

#include <tuple> 

constexpr auto minutes = std::make_tuple(
    std::make_tuple(), 
    std::make_tuple(1,2,3,4,5), 
    std::make_tuple(8,9,10)); 

#include <iostream> 
#include <type_traits> 
int main() { 
    std::cout << std::tuple_size<decltype(minutes)>::value << std::endl; 
    std::cout << std::tuple_size<std::remove_reference_t<decltype(std::get<1>(minutes))>>::value << std::endl; 
} 

Answer 2

Cóż to znaczy, to wyrażenie

(const uint8_t[]) {1, 2, 3, 4, 5 END}, 

tworzy tymczasowy obiekt — tymczasowy, ponieważ nie ma żadnej nazwy, która może trwać poza wyrażeniem, którego jest częścią — który zostanie zniszczony pod koniec pełnej ekspresji, co oznacza to:

definiuje „pełny wyraz”, w tym momencie wszystkie tymczasowe obiekty dostanie zniszczony, W tablicy wskaźników minutes znajdują się wskaźniki wskazujące na zniszczone obiekty, dlatego kompilator ostrzega.

Nadzieję, że pomaga.

Answer 3

aktualizacja: dzięki deniss za wskazanie luki w oryginalnym rozwiązaniu.

static constexpr uint8_t END = 0xff; 

template<uint8_t...x> 
const uint8_t* make() 
{ 
    static const uint8_t _[] = { x..., END }; 
    return _; 
} 

const uint8_t* const array[] = { 
    make<>(), 
    make<1, 2, 3, 4, 5>(), 
    make<8, 9>(), 
    make<10, 11, 12>() 
};