abclinuxu.cz AbcLinuxu.cz itbiz.cz ITBiz.cz HDmag.cz HDmag.cz abcprace.cz AbcPráce.cz
AbcLinuxu hledá autory!
Inzerujte na AbcPráce.cz od 950 Kč
Rozšířené hledání
×
25.10. 00:33 | Nová verze

GNU Debugger aneb GDB byl vydán ve verzi 10.1. Nově lze ladit BPF programy. GDBserver podporuje ARC GNU/Linux a RISC-V GNU/Linux. Podporován je HTTP server debuginfod.

Ladislav Hagara | Komentářů: 0
23.10. 22:22 | Komunita

RIAA (Recording Industry Association of America) podala DMCA požadavek (DMCA takedown notice) na zastavení šíření zdrojových kódů youtube-dl na GitHubu. Pomocí youtube-dl lze z YouTube stáhnout autorská díla určená pouze pro YouTube.

Ladislav Hagara | Komentářů: 175
23.10. 17:00 | Komunita

V 18:00 proběhne živě představení Ubuntu pro Raspberry Pi na YouTube.

Ladislav Hagara | Komentářů: 0
23.10. 07:00 | Nová verze

Byla vydána nová verze 13.5 softwarového nástroje s webovým rozhraním umožňujícího spolupráci na zdrojových kódech GitLab (Wikipedie). Představení nových vlastností i s náhledy v příspěvku na blogu.

Ladislav Hagara | Komentářů: 0
22.10. 21:33 | Nová verze

Oficiálně bylo vydáno Ubuntu 20.10 s kódovým názvem Groovy Gorilla. Přehled novinek v poznámkách k vydání. Zdůrazněn je Ubuntu Desktop pro Raspberry Pi.

Ladislav Hagara | Komentářů: 5
22.10. 17:00 | IT novinky

Java edice počítačové hry Minecraft bude vyžadovat účet u Microsoftu (YouTube). Podrobnosti ve FAQ.

Ladislav Hagara | Komentářů: 25
22.10. 16:00 | Nová verze

Byla vydána nová vývojová verze datového formátu a souvisejících nástrojů Relational pipes. Hlavní novinkou verze v0.17 je výstupní modul pro JACK, kterým lze posílat MIDI zprávy do zvukových karet a syntezátorů, dále pak podpora práce s porty JACK systému, vylepšené CLI rozhraní několika nástrojů a přejmenování modulu relpipe-tr-guile na relpipe-tr-scheme.

xkucf03 | Komentářů: 0
22.10. 15:55 | Komunita

Probíhá online konference AstriCon 2020, tj. konference vývojářů a uživatelů svobodné softwarové implementace telefonní ústředny (PBX) Asterisk (Wikipedie). Při této příležitosti byl vydán Asterisk ve verzi 18.0.0.

Ladislav Hagara | Komentářů: 0
22.10. 07:00 | Nová verze

Linuxová distribuce SystemRescueCd byla s novou verzí 7.00 přejmenována na SystemRescue. Začleněn byl balíček dislocker pro přístup k diskům zašifrovaným pomocí BitLockeru (#46).

Ladislav Hagara | Komentářů: 0
21.10. 17:33 | Komunita

Projekt Debian daroval 10 000 dolarů neziskové organizaci Framasoft na její crowdfundingovou kampaň na podporu vývoje PeerTube, tj. svobodné federalizované platformy pro sledování a sdílení videí, alternativy YouTube s podporou P2P. Cílem je podpora živého přenosu (live streaming).

Ladislav Hagara | Komentářů: 87
Které aspekty uživatelského rozhraní textového editoru považujete za důležité?
 (71%)
 (36%)
 (33%)
 (17%)
 (24%)
 (16%)
Celkem 217 hlasů
 Komentářů: 21, poslední 23.10. 17:33
Rozcestník

Dotaz: C++ ako na šablóny?

8.10. 02:25 Naples
C++ ako na šablóny?
Přečteno: 524×
Dobrý deň. Na úvod len spomeniem, že s templatami v C++ nemám žiadne skúsenosti, takže som si musel pomôcť googlením. Vyzerá to trošku ako generiká, akurát tie možnosti templatov sú úplne inde.

Potreboval by som si spraviť šablónu, ktorá povoluje ako "generický" parameter len stringové typy. Teda všetky typy ktoré sú odvodené od std::basic_string (napr. std::string, std::wstring, std::u8string, ...)

Tu je trait (ktorý som si vygooglil):
#include <type_traits> 

template<class T>
struct is_basic_string : std::false_type{};

template<class Ch, class Tr, class Al>
struct is_basic_string<std::basic_string<Ch, Tr, Al>> : std::true_type{};
Mám takúto šablónu, ktorá konvertuje nejaký kontainer znakov na stringy:
template<typename T = std::string>
T toString(const binaries& bins)
{
      static_assert(is_basic_string<T>::value, __FUNCTION__ "<T>: The parameter T can only be derived from std::basic_string");
      return T(bins.begin(), bins.end());
}
prvý riadok tela funkcie je kontrola či má parameter srpávny typ (či je odvodený od basic_string, inak povedané či je parameter jeden zo stringových typov). V opačnom prípade prekladač vyhodí chybu. Chybová hláška obsahuje makro __FUNCTION__ zobrazujúce názov aktálnej funkcie. Mno, ale keďže ten prvý riadok, ktorý kontroluje typ string sa mi bude hodiť aj inde (všade kde potrebujem overiť či template parameter je string) rozhodol som sa že z neho urobím tiež trait. Takže upravený kód vyuzerá takto:
template<typename T>
struct ensure_is_basic_string
{
	static_assert(is_basic_string<T>::value, "<T>: The parameter T can only be derived from std::basic_string");
};

template<typename T = std::string>
static T toString(const binaries& bins)
{
	ensure_is_basic_string<T>;
	return T(bins.begin(), bins.end());
}
Asi ste si všimli, že mi tam chýba makro __FUNCTION__ vracajúce názov aktuálnej funkcie, keďže sme kód premiestnili do traitu. Otázka je akým spôsobom tam mám vložiť názov aktuálnej funkcie? Pridať stringový parameter?

Řešení dotazu:


Odpovědi

8.10. 10:39 MadCatX
Rozbalit Rozbalit vše Re: C++ ako na šablóny?
Ten struct nahraď makrem a máš vyřešeno. __FUNCTION__ se ve static_assertu stejně použít nedá, protože to není znakový literál. Kompilátor ti řekne přesně, kde překlad selhal, takže informaci o aktuální funkci v té chybové hlášce není potřebná.
8.10. 19:52 Naples
Rozbalit Rozbalit vše Re: C++ ako na šablóny?
Ďakujem toto ma ani nenapadlo. A nepoznáš ešte nejaký iný spôsob? Lebo v tomto prípade to prerobím na makro, ale pre niektoré use cases sa makro nehodí.
8.10. 22:10 MadCatX | skóre: 27 | blog: dev_urandom
Rozbalit Rozbalit vše Re: C++ ako na šablóny?
A kdy nemůžeš ten static_assert obalit makrem?
9.10. 01:52 Naples
Rozbalit Rozbalit vše Re: C++ ako na šablóny?
Popravde neviem. Možno taký prípad nemôže nastať. V C++ som začiatočník a zatiaľ nepoznám potenciál ani šablón, ani makier a už vôbec ich kombinácií, akurát vidím, že je to mocná zbraň.

Z teórie viem že šablóny majú výhodu v tom, že sú typovo bezpečné, pretože ich overuje priamo prekladač C++, naproti tomu s makrami pracuje preprocessor, ktorý "nepozná" C++ typy. A keďže sa učím C++ (a v čistom C som nikdy neprogramoval) snažil som sa doteraz prefereovať (nové) C++ konštrukcie. Ale vďaka Vášmu tipu vidím, že môžu nastať prípady, kedy je vhodné použiť makro, alebo kombináciu šablón a makier. "Funkcionálne" makro som dnes definoval vôbec prvý krát.

Ale keď už sme pri šablónach, mal by som ešte jednu otázku. Neviem či mi ju budete vedieť zodpovedať, ale aspoň skúsim:

mám definované 2 typové aliasy. Jeden je na ukladanie binárnych dát. A druhý je niečo podobné akurát pracuje s multibyteovým charom (do toho prvého sa dá uložiť všetko, druhý je len taký helper):
typedef std::vector<unsigned char> binaries;
typedef std::vector<wchar_t> wbinaries;
a k tomu mám template:
template<typename T>
static std::vector<T> toQuoted(const std::vector<T>& v)
{
      //nejaký kód
      return bins;
}
Tento template podporuje hociaký vector. Lenže ja by som rád typy na vstupe obmedzil len na 2 typy a to binaries a wbinaries. Neskôr možno pridám aj ďaľšie. Napadlo ma testovať to zatiaľ takto:
template<typename T>
static std::vector<T> toQuoted(const std::vector<T>& v)
{
      static_assert(std::is_same_v(T, unsigned char) || std::is_same_v(T, wchar_t), __FUNCTION__ ": The parameter was expected to have type binaries or wbinaries");
      ...
      return bins;
}
Lenže to sa mi vôbec nepáči, lebo ja už mám hotové makro, ktoré netestuje parameter vektoru, ale priamo celý typový alias aj s parametrom.
#define requires_binaries(T) \
      static_assert(std::is_same_v(T, binaries) || std::is_same_v(T, wbinaries), __FUNCTION__ ": The parameter was expected to have type binaries or wbinaries");
A použiť som ho chcel takto:
template<typename T>
static std::vector<T> toQuoted(const std::vector<T>& v)
{
      requires_binaries(std::vector<T>)
      ...
      return bins;
}
Akurát std::is_same_v si s vektorom neporadí a akceptuje len std::is_same_v<T, binaries> ale už nie std::is_same_v<std::vector<T>, binaries>

Prekladač: 'std::is_same_v': use of a variable template requires template argument list

Nepoznáte spôsob ako odtestovať "celý" typ aj s generickým parametrom?
9.10. 11:27 MadCatX | skóre: 27 | blog: dev_urandom
Rozbalit Rozbalit vše Re: C++ ako na šablóny?
Pokud máš funkci, která má pracovat jen s dvěma konkrétními datovými typy, neřešil bych to šablonami ale specializací těch funkcí. Šablony se používají v situacích, kdy je rozsah typů, se kterými může nějaký kus kódu pracovat dost široký a nanejvýš chceš vyloučit pár případů.

Ta tvoje situace by se dala šablonami jakž-takž vyřešit třeba takto:
#include <list>
#include <vector>

template <typename T>
struct assert_vector_type {
        template <typename V> static const bool value = std::is_same<V, void>::value;
};

template <typename T, typename U>
struct assert_vector_type<std::vector<T, U>> {
        template <typename V> static const bool value = std::is_same<T, V>::value;
};

#define assert_is_binaries(v) \
        static_assert(assert_vector_type<std::decay_t<decltype(v)>>::template value<wchar_t> || \
                      assert_vector_type<std::decay_t<decltype(v)>>::template value<unsigned char>, \
                      "Type mismatch");

template <template <typename...> class T, typename ...Args>
T<Args...> toQuoted(const T<Args...>& v)
{
        assert_is_binaries(v);
        return T<Args...>();
}

int main()
{
        std::list<unsigned char> l;
        std::vector<int> a;
        std::vector<unsigned char> b;
        std::vector<wchar_t> c;

        //toQuoted(a);
        toQuoted(b);
        toQuoted(c);
        //toQuoted(l);

        return 0;
}
ale je to dost ujeté a prakticky by to tak nejspíš nikdo nedělal.
9.10. 19:44 Naples
Rozbalit Rozbalit vše Re: C++ ako na šablóny?
Ak by to bola nejaká malá funkcia tak máte pravdu. Ale už tu by som mal 2 rovnaké funcie, ktoré by sa líšili len v tom, že by pracovali s iným typom a každú malú zmenu by som musel editovať 2x. A porušoval by som tým princíp dry.

Ale poďme ďalej. Ak tých funkcií budem mať v libke 20 tak každú budem musieť spraviť 2x? To je potom copy-paste programovanie. A keby som chcel pridať tretí typ tak (napr. v C++ 20 pribudla podpora UTF-8):
//nahrada za std::u8string ktorá môže obsahovať všetky znaky (vrátane '\0')
typedef std::vector<char8_t> u8binaries;
Tak by som musel robiť 20x copy paste pre wbinaries a 20x pre u8binaries. Ja sa snažím minimalizovať kopírovanie rovnakého kódu (v prípade že to má zmysel).

A ten Váš príklad idem vyskúšať, ďakujem Vám :)
10.10. 01:32 MadCatX | skóre: 27 | blog: dev_urandom
Rozbalit Rozbalit vše Re: C++ ako na šablóny?
V takovém případě úplně stačí kontrola toho šablonového typu. U funkce jako
template <typename T>
std::vector<T> f(const std::vector<T> &v) {
    static_assert(std::is_same_v<T, char> || std::is_same_v<T, wchar_t>, "Type mismatch");

    return ret;
}
je kontrola na celý std::vector<T> zbytečná, protože nic jiného než std::vector tam stejně nepředáš. Pokud máš funkci, která dostává a vrací ten samý kontejner, zvážil bych použití std::transform.
10.10. 14:53 Naples
Rozbalit Rozbalit vše Re: C++ ako na šablóny?
Hej to je jedna z možností ktorú som spomenul v príklade v príspevku "včera 01:52" lenže má to nevýhodu že sa nemôžem dotazovať na konkrétny typ ale na jeho parameter a keď mám makro ktoré testuje celý typ tak musím mať aj iné makro ktoré testuje ten parameter.

10.10. 16:10 MadCatX | skóre: 27 | blog: dev_urandom
Rozbalit Rozbalit vše Re: C++ ako na šablóny?
To jo, ale pokud do funkce předáváš parametr typu std::vector<T>, proč je potřeba testovat, že předaný parametr je typu std::vector<T>, když do té funkce nic jiného předat nelze? Test na parametr T je naprosto dostačující a funkční.
14.10. 15:43 10minuteman
Rozbalit Rozbalit vše Re: C++ ako na šablóny?
"Otázka je akým spôsobom tam mám vložiť názov aktuálnej funkcie?"

Pokud mas dostatecne moderni compiler, muzes zkusit pouzit source_location header.
17.10. 14:03 Ondra Holub | skóre: 6
Rozbalit Rozbalit vše Re: C++ ako na šablóny?
Třeba nějak takto:
template< typename CH, typename TRAITS, typename ALLOC>
void moje_funkce(std::basic_string< CH, TRAITS, ALLOC>& prm)
{
}
Nebo případně:
template< typename ARGS...>
void moje_funkce(std::basic_string< ARGS...>& prm)
{
}
20.10. 19:50 Franta
Rozbalit Rozbalit vše Re: C++ ako na šablóny?
Proč to dělat jednoduše, když to jde složitě s použitím miliónu traitů, že? To je dnešní mentalita... Zasloužíte si pochvalu za jednoduché řešení.
21.10. 12:36 MadCatX | skóre: 27 | blog: dev_urandom
Rozbalit Rozbalit vše Re: C++ ako na šablóny?
To jistě, až na to, že tazatel se ptal na něco docela jiného.

Založit nové vláknoNahoru

Tiskni Sdílej: Linkuj Jaggni to Vybrali.sme.sk Google Del.icio.us Facebook

ISSN 1214-1267   www.czech-server.cz
© 1999-2015 Nitemedia s. r. o. Všechna práva vyhrazena.