sprawdzanie typów podczas kompilacji

Question

Na tym forum przeczytałem o usuwaniu elementu z tablicy przez wskaźnik niby banalne, ale .... wcale nie.

#include "liststl.h"
namespace liststlnamespace { // pytanie 1 ? 
namespace constexprData { // to zostaje
constexpr size_t arlen=10;
}
double changetype; // zamiast templatki :)
using arrayData=std::array<decltype(changetype),constexprData::arlen>;
arrayData ar{1,2,3,4.4,5,6,7,8,9,10};
std::list<arrayData::iterator>li;
std::list<arrayData::iterator> garbagecollector ;

}

1) czy z tego opłaca się zrobić templatkę i czy da zrobić krótką np. 10 linii by użyć w klasie "liststl" najepej w tym samym pliku, i bez specjalnych zabiegów by wstawiać różne typy do klasy do sprawdzania

 A jak nie to

template <typename T>
void liststl::removeElement(T t) {
    auto itli = liststlnamespace::li.begin();

//  typedef std::common_type<decltype(*itli),int>::type NumericType;
//    typedef std::common_type<decltype(*itli, double>::type FloatType;

    // std::cout<<typeid(*itli).name()<<std::endl;
   if(liststlnamespace::li.size()<=liststlnamespace::constexprData::arlen) 
        for(auto &x:liststlnamespace::li) {
    //pytanie 2     if (is_same<decltype(*itli),decltype(t)>::value
            if(*x==t ) {
                *x=0;
                liststlnamespace::garbagecollector.push_back(std::move(x));
                    liststlnamespace::li.erase(itli);
                    std::cout<< "\niteratory sa trudne\n";
                    break;
                }
            itli++;
        }
};

2) Co tu zrobić by nie porównywać jak będą niezgodne typy?

Ta klasa jest po nic  tak sobie przerabiam 

<type_traits> | Microsoft Docs

Comments

Kilka razy czytałem to pytanie i wciąż go nie rozumiem. Spróbuj je lepiej sformułować.

---

Generalnie to kod działa do int double string, ale muszę zmienić typ "double changetype;" na np. "string changetype". A lepiej jak by działało jak klasa typu Template.

Jak przerzucam templatkię  do "liststl.h" to mam podwójne dołączenie, żeby było ok to musze, całość przerzucić do liststl.h, dla mnie to za dużo linii kodu w jednym pliku (chyba po to są klasy i wskaźniki na nie). Funkcje template działają, na rozdzielenie na 2 pliki bez problemu.

Z zmierzeniem waunku "if (is_same<decltype(*itli),decltype(t)>::value" żeby nic nie robiła funkcja ja typy są nie zgodne.(double changetype != T t)

---

https://en.cppreference.com/w/cpp/types/is_same
Kompletnie nie wiem o czym piszesz.

---

A co masz w pliku liststl.h?

---

void liststl::removeElement(T t)
{
    if constexpr (!std::is_same_v<typename decltype(li)::value_type, T>) return;
    ...

O to chodzi?

---

removeElement("aa"); błędny typ
 removeElement(7);

   if (!(std::is_same<decltype(itli)::value_type,T>::value)) return;
                if(*x==t ) //błąd kompilatora invalid operands of types 'double' and 'const char*' to binary 'operator=='|

Ale w sumie już nieważne, ważne że działa dla prawidłowych danych jak się celowo nie psuje

---

Nie zauważyłem, że lista trzyma iteratory. Zatem tak:

template <typename T>
void removeElement(T t)
{
    using list_val_type = typename decltype(liststlnamespace::li)::value_type;

    if constexpr (std::is_same_v<typename std::iterator_traits<list_val_type>::value_type, T>) {
        auto itli = liststlnamespace::li.begin();
        if (liststlnamespace::li.size() <= liststlnamespace::constexprData::arlen)
            for (auto& x : liststlnamespace::li) {
                if (*x == t) {
                    *x = 0;
                    liststlnamespace::garbagecollector.push_back(std::move(x));
                    liststlnamespace::li.erase(itli);
                    std::cout << "\niteratory sa trudne\n";
                    break;
                }
                itli++;
            }
    }
}

 

---

coś się sypie, ale a tak jak pisałem wcześniej , źle zbudowany program i już.

---

Kod odpowiedzialny za testowanie typów jest na bank poprawny. W resztę kodu nie wnikałem.

---

tu chodzi o templatkę w pliku.cpp jak tak się nie robi to się nie robi i tyle, a Cały kod dała tak jak powinien czyli jak pozmieniam dla stringa to wskazuje na stringi, a jak na inną klasę to tez ok.