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í
×
    včera 18:00 | Nová verze

    VirtualBox, tj. multiplatformní virtualizační software, byl vydán v nové verzi 7.2. Přehled novinek v Changelogu. Vypíchnou lze vylepšené GUI.

    Ladislav Hagara | Komentářů: 0
    včera 14:11 | IT novinky

    Eric Migicovsky, zakladatel společnosti Pebble, v lednu oznámil, že má v plánu spustit výrobu nových hodinek Pebble s již open source PebbleOS. V březnu spustil předprodej hodinek Pebble Time 2 (tenkrát ještě pod názvem Core Time 2) za 225 dolarů s dodáním v prosinci. Včera představil jejich konečný vzhled (YouTube).

    Ladislav Hagara | Komentářů: 2
    včera 12:44 | Zajímavý software

    Byla oznámena nativní podpora protokolu ACME (Automated Certificate Management Environment) ve webovém serveru a reverzní proxy NGINX. Modul nginx-acme je zatím v preview verzi.

    Ladislav Hagara | Komentářů: 0
    včera 12:22 | Nová verze

    Vývojáři KDE oznámili vydání balíku aplikací KDE Gear 25.08. Přehled novinek i s náhledy a videi v oficiálním oznámení.

    Ladislav Hagara | Komentářů: 0
    13.8. 11:55 | IT novinky

    Společnost Perplexity AI působící v oblasti umělé inteligence (AI) podala nevyžádanou nabídku na převzetí webového prohlížeče Chrome internetové firmy Google za 34,5 miliardy dolarů (zhruba 723 miliard Kč). Informovala o tom včera agentura Reuters. Upozornila, že výše nabídky výrazně převyšuje hodnotu firmy Perplexity. Společnost Google se podle ní k nabídce zatím nevyjádřila.

    Ladislav Hagara | Komentářů: 5
    13.8. 04:33 | Bezpečnostní upozornění

    Intel vydal 34 upozornění na bezpečnostní chyby ve svých produktech. Současně vydal verzi 20250812 mikrokódů pro své procesory řešící 6 bezpečnostních chyb.

    Ladislav Hagara | Komentářů: 0
    13.8. 04:22 | Nová verze

    Byla vydána nová verze 1.25 programovacího jazyka Go (Wikipedie). Přehled novinek v poznámkách k vydání.

    Ladislav Hagara | Komentářů: 1
    12.8. 13:44 | Nová verze

    Byla vydána beta verze Linux Mintu 22.2 s kódovým jménem Zara. Podrobnosti v přehledu novinek a poznámkách k vydání. Vypíchnout lze novou XApp aplikaci Fingwit pro autentizaci pomocí otisků prstů nebo vlastní fork knihovny libAdwaita s názvem libAdapta podporující grafická témata. Linux Mint 22.2 bude podporován do roku 2029.

    Ladislav Hagara | Komentářů: 0
    12.8. 13:00 | IT novinky

    Provozovatel internetové encyklopedie Wikipedie prohrál v Británii soudní spor týkající se některých částí nového zákona o on-line bezpečnosti. Soud ale varoval britského regulátora Ofcom i odpovědné ministerstvo před zaváděním přílišných omezení. Legislativa zpřísňuje požadavky na on-line platformy, ale zároveň čelí kritice za možné omezování svobody slova. Společnost Wikimedia Foundation, která je zodpovědná za fungování

    … více »
    Ladislav Hagara | Komentářů: 2
    12.8. 12:55 | Nová verze

    Byla vydána verze 2.0.0 nástroje pro synchronizaci dat mezi vícero počítači bez centrálního serveru Syncthing (Wikipedie). Přehled novinek na GitHubu.

    Ladislav Hagara | Komentářů: 3
    Kolik tabů máte standardně otevřeno ve web prohlížeči?
     (52%)
     (19%)
     (4%)
     (5%)
     (3%)
     (1%)
     (1%)
     (17%)
    Celkem 393 hlasů
     Komentářů: 23, poslední 4.8. 13:01
    Rozcestník

    Dotaz: c++ templates and overloading

    25.2.2010 16:46 ::: | skóre: 14 | blog: e_lama
    c++ templates and overloading
    Přečteno: 437×
    Zdavim, mam nasledujici 2 soubory (a.cpp a b.cpp). Jediny rozdil je ze v b.cpp jsem presunul string_t a string_traits do vlastniho jmenneho prostoru. Pritom a.cpp jde zkompilovat (gcc) bez problemu, ale b.cpp skonci s chybou:
    /usr/lib/gcc/3.4.4/include/c++/bits/stl_function.h: In member function `bool std::less<_Tp>::operator()(const _Tp&, const _Tp&) const [with _Tp = xxx::string_t]':
    b.cpp:54:   instantiated from here
    /usr/lib/gcc/3.4.4/include/c++/bits/stl_function.h:227: error: no match for 'operator<' in '__x < __y'
    
    Zajimavy je ze yyy::less funguje ale std::less ne. Pritom jsem yyy::less vytvoril jako kopii std::less...

    a.cpp:
    #include <boost/mpl/bool.hpp>
    #include <boost/utility/enable_if.hpp>
    #include <functional>
    
    namespace yyy
    {
      template<typename _Tp>
        struct less : public std::binary_function<_Tp, _Tp, bool>
        {
          bool
          operator()(const _Tp& __x, const _Tp& __y) const
          { return __x < __y; }
        };
    }
    
    struct string_t { };
    
    template <typename string_type_>
    struct string_traits;
    
    template <>
    struct string_traits<string_t>
    {
            typedef string_t string_type;
    };
    
    template <typename A, typename B>
    struct both_exist: public boost::mpl::true_ {};
    
    template <typename T, typename U>
    inline
    typename boost::enable_if
    <
            both_exist
            <
                    typename string_traits<T>::string_type,
                    typename string_traits<U>::string_type
            >,
            bool
    >::type operator < (const T &str1, const U &str2)
    { }
    
    int main()
    {
            yyy::less<string_t> cmp;
            std::less<string_t> cmp1;
            string_t a;
            string_t b;
            cmp(a, b);
            cmp1(a, b);
    }
    
    
    b.cpp:
    #include <boost/mpl/bool.hpp>
    #include <boost/utility/enable_if.hpp>
    #include <functional>
    
    namespace yyy
    {
      template<typename _Tp>
        struct less : public std::binary_function<_Tp, _Tp, bool>
        {
          bool
          operator()(const _Tp& __x, const _Tp& __y) const
          { return __x < __y; }
        };
    }
    
    namespace xxx {
    
            struct string_t { };
    
            template <typename string_type_>
            struct string_traits;
    
            template <>
            struct string_traits<string_t>
            {
                    typedef string_t string_type;
            };
    
    }
    
    template <typename A, typename B>
    struct both_exist: public boost::mpl::true_ {};
    
    template <typename T, typename U>
    inline
    typename boost::enable_if
    <
            both_exist
            <
                    typename xxx::string_traits<T>::string_type,
                    typename xxx::string_traits<U>::string_type
            >,
            bool
    >::type operator < (const T &str1, const U &str2)
    { }
    
    int main()
    {
            yyy::less<xxx::string_t> cmp;
            std::less<xxx::string_t> cmp1;
            xxx::string_t a;
            xxx::string_t b;
            cmp(a, b);
            cmp1(a, b);
    }
    
    

    Řešení dotazu:


    Odpovědi

    25.2.2010 17:39 Sinuhet | skóre: 31
    Rozbalit Rozbalit vše Re: c++ templates and overloading
    Mrvi vam to boost. Kdyz ho vyhodite (ve vasem priklade je stejnak zbytecny), tak se to zkompiluje.
    25.2.2010 18:11 ::: | skóre: 14 | blog: e_lama
    Rozbalit Rozbalit vše Re: c++ templates and overloading
    Diky za tip. Zjistil jsem ze boost includuje <utility> a to vytvari v std "operator <" pro porovnani std::pair. Tak jsem vyzkousel pridat "operator <" i do yyy:
    namespace yyy {
            class x;
            inline bool operator < (x const &a, x const &b) { }
    }
    
    a dela me to stejnou chybu i s yyy::less. Takze zrejme ten muj "operator <" neni pristupny v zadnym namespace kde uz existuje jiny "operator <".

    Nejak to nechapu... chapal bych kdyby to muj operator prekrylo vzdycky, ale proc to dela jenom kdyz je string_t a string_traits v xxx ??
    25.2.2010 18:44 Sinuhet | skóre: 31
    Rozbalit Rozbalit vše Re: c++ templates and overloading
    25.2.2010 18:53 ::: | skóre: 14 | blog: e_lama
    Rozbalit Rozbalit vše Re: c++ templates and overloading
    diky, uz jsem to taky dohledal. Takze je to vlastnost a ten "univerzalni operator <" (prispevek dole) asi nijak neudelam?
    25.2.2010 18:48 ::: | skóre: 14 | blog: e_lama
    Rozbalit Rozbalit vše Re: c++ templates and overloading
    tak jsem zjistil ze kdyz ten template operator < presunu do xxx tak to funguje.

    Problem je (see http://en.wikipedia.org/wiki/Argument_dependent_name_lookup), ze napr pri pouziti yyy::less, gcc nejdriv najde yyy::operator<, potom prohleda namespacy asociovany s argumentama a najde xxx::operator<, a root namespace uz neprohledava...

    Tak nevim. Je tohle vlastnost nebo chyba ? A je teda mozny udelat operator <, ktery by fungoval na vsechny string tridy co maji string_traits, at uz jsou v jakymkoli jmennym prostoru ?
    25.2.2010 18:59 Sinuhet | skóre: 31
    Rozbalit Rozbalit vše Re: c++ templates and overloading

    Co by "univerzalni" operator< mel delat? To je problem kazde implementace stringu, aby mela i svoji definici porovnani, ktera bude ve stejnem namespacu, takze vsechno bude fungovat, jak ma.

    25.2.2010 19:20 ::: | skóre: 14 | blog: e_lama
    Rozbalit Rozbalit vše Re: c++ templates and overloading
    moje predstava byla ze bych mel nekolik typu stringu, napr std::string alokovany na halde, potom nejaka vlastni trida pro retezce jen na zasobniku, a mozna i dalsi kombinace...

    Ke kazdymu bych udelal string_traits, kde by byly funkce begin() a end() ktery vrati ukazatele na zacatek/konec retezce a "operator <" bych potom mohl pouzit na porovnavani ruznych trid stringu...

    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.