Dotaz: Ako odtestovať generický parameter na pole ľubovolnej

[Naples]

Ako odtestovať generický parameter na pole ľubovolnej velkosti určitého typu?

Včera som hľadal spôsob ako odtestovať či je generický parameter typu pole.

problém je že funkcia is_same_v testuje pole len s presnou velkosťou.

to znamená že ak mám pole:

int[5]

tak musím testovať

is_same_v<T, int[5]>

ale čo ak dopredu netuším veľkosť pola a potrebujem odtestovať či premenná má pole nejakého typu, ľubovolnej velkosti?

testujem to zatiaľ takto:

if constexpr (std::is_array_v<InputType> && std::is_same_v<InputType, ArrayType[std::extent_v<InputType>]>)
{
    //niečo
}
else
{
    static_assert(false, "Chyba, nesprávny typ")
}

Funguje to akurát som z toho chcel urobiť nejaký znovupoužiteľný kus kódu (trait, makro, alebo hocičo iné) a to už bolo nad moje sily. Celá tá template časť C++ je deklaratívna, pripomína mi trošku funkcionálne programovanie a vyzerá to dosť zaujímavo.

1. Vedeli by ste mi poradiť ako si z tej podmienky urobiť trait?
2. A tiež poradiť nejakú kvalitnú knihu (alebo iný zroj informácií kludne aj školenie) o šablónach v C++? Ja už mám doma 6 kníh o C++, niektoré sú riadne hrubé bichle, ale v žiadnej som nenašiel dostatočne obšírne vysvetlenú problematika šablón. Kniha môže byť kludne aj v AJ

Ďakujem.

---

---

Odpovědi

[z_sk]

Vo svete C by to tak mozno bolo:

Nechces vela? Zakladne typy su pre nieco zakladne. Mozno by bolo dobre sa naucit C, pripadne ASM a ako funguje hardwer. Ked sa chces dobre. Ak ultra, tak elektroniku. Ono. Kazda technologia nieco dokaze, tak dalsia sa to snazi urobit, lahsie atd. A kazda technika ma svoje limity.

struct { void *data; size_t bytes; int type; } data_t;

[10minuteman]

1. mozna by ti pomohl enable_if ? Popravde nevim. Co te tu sleduju, prijde mi, ze s temi traity vytvaris nejake tezke voodoo. Proc nenechas kontrolu na prekladaci?

2. Tahle je nejlepsi.

[🇨🇽]

noa nestačilo by ti jakoby tam tu velikost pole prostě dycky zistit hele?? :O :O

template <typename T, size_t n> constexpr size_t array_size(const T (&)[n]) { return n; }

dyžtak se neuraz ale mam taky takovej pocit že se snažíš to cpp přivohnout ze silně typovýho jazyka na slabě typovej s timže tu kontrolu typů chceš asi nějak řešit sám :O ;D