Administrace komentářů

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?