Форум на Исходниках.RU http://forum.sources.ru Форум на Исходниках.RU Форум на Исходниках.RU http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2691323 Tue, 07 Sep 2010 22:31:29 +0400 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2691323 Цитата (Masterkent @ 31.08.10, 03:53)
Похоже, из C++0x могут удалить ни кем пока не реализованные фичи.

User-defined literals
Ref-qualifiers
Inheriting constructors

Ну, тут бабушка ещё на двое сказала. Это предложение только одной из стран (если я правильно понимаю аббревиатуру). С этим должны согласиться большинство, чтобы быть принятым. А переколбашивать драфт стандарта перед самым принятием - это жесть. ]]> Flex Ferrum C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2683457 Tue, 31 Aug 2010 04:53:26 +0400 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2683457 Цитата (Flex Ferrum @ 2.09.09, 11:49)
Пока все идет к тому, что кроме концептов из стандарта ничего выкидывать не будут.

Похоже, из C++0x могут удалить ни кем пока не реализованные фичи.

User-defined literals
Ref-qualifiers
Inheriting constructors

Работа комитета по стандартизации C++ радует всё больше и больше. Что правила C++ там толком не знают ([1][2][3]) я уже выяснил давно. Что некоторые члены комитета плохо владеют логикой и не пригодны для составления корректных формальных описаний выяснилось сравнительно недавно [1][2][3][4]. Теперь ещё нелепая мотивация добавления правил и удаления фич добавилась к послужному списку.

Hint: D. Krugler, A. Williams и S. Clamage состоят в рабочих группах комитета по стандартизации C++. ]]> Masterkent C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2668278 Fri, 13 Aug 2010 11:59:14 +0400 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2668278

    template<int I, typename ... T>
    union variant_data;
     
    template<int I, typename T, typename ... Tail>
    union variant_data<I, T, Tail ...>
    {
        T m_data;
        variant_data<I + 1, Tail ...> m_tail;
        
        variant_data() {;}
        ~variant_data() {;}
    };
     
    template<int I, typename T>
    union variant_data<I, T>
    {
        T m_data;
        variant_data() {;}
        ~variant_data() {;}
    };
     
    template<typename ... T>
    struct variant
    {
        int m_dataIdx;
        variant_data<sizeof ... (T), T ...> m_variantData;
    };
]]> Flex Ferrum C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2653195 Tue, 27 Jul 2010 10:03:26 +0400 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2653195 Цитата (trainer @ 27.07.10, 09:02)
последней редакции предложения. Его же еще не приняли?

Ну, да. :) ]]> Flex Ferrum C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2653194 Tue, 27 Jul 2010 10:02:40 +0400 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2653194 Цитата (Flex Ferrum @ 27.07.10, 08:47)
в последней редакции стандарта
последней редакции предложения. Его же еще не приняли? ]]> trainer C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2653169 Tue, 27 Jul 2010 09:47:41 +0400 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2653169 Цитата (ShapovalovTS @ 27.07.10, 06:01)
Получается, еще недореализовали стандарт в тестируемом мною компиляторе?

Такие изменения - только в последней редакции стандарта (конец марта 2010-го года). Очевидно, что ещё ни один компиль это не реализует. Да и не зафиксировано это ещё окончательно. ]]> Flex Ferrum C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2653120 Tue, 27 Jul 2010 07:01:25 +0400 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2653120 Цитата (Flex Ferrum @ 26.07.10, 12:55)
Хотя (по последней редакции стандарта) должно работать так:
       // При объявлении типа мапы:
       typedef std::multimap<int, A, bool (*)(A a1, A a2)> mmap_type;
        
       // при объявлении экземпляра мультимапы:
       mmap_type m([](A a1, A a2) {return a1.i < a2.i; });

Интересное своей краткостью решение, но компилятор к сожалению ругается. Код (lambda.h):
    #include <multimap.h>
     
    struct A {
        int i;
    };
     
    class B {
     
            typedef std::multimap<A, int, bool (*)(A, A)> mmap_type;
        
            mmap_type m;
     
            B() : m([](A a1, A a2) {return a1.i < a2.i; })  {
            }
    };

И сама ошибка:
    lambda.h(13): error: no instance of constructor "std::multimap<_Key, _Tp, _Compare, _Alloc>::multimap [with _Key=A, _Tp=int, _Compare=bool (*)(A, A), _Alloc=std::allocator<std::pair<const A, int>>]" matches the argument list
                argument types are: (lambda [](A, A)->bool)
            B() : m([](A a1, A a2) {return a1.i < a2.i; })  {
                   ^
     
    compilation aborted for lambda.cpp (code 2)

В случае приведения в строке 13 к mmap_type::key_compare получаем это:
    lambda.h(13): error: no suitable conversion function from "lambda [](A, A)->bool" to "bool (*)(A, A)" exists
            B() : m(mmap_type::key_compare([](A a1, A a2) {return a1.i < a2.i; }) ) {
                                           ^
     
    compilation aborted for lambda.cpp (code 2)

Получается, еще недореализовали стандарт в тестируемом мною компиляторе? ]]> ShapovalovTS C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2652548 Mon, 26 Jul 2010 16:01:53 +0400 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2652548 Цитата (Flex Ferrum @ 26.07.10, 13:49)
Ну, это классика, которая уже перенесена в STL.

В это же нет ничего плохого :)
Цитата (Flex Ferrum @ 26.07.10, 13:49)
Да как сказать... Вполне может заинлайнить.

Подумал... Да, может :) ]]> MyNameIsIgor C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2652453 Mon, 26 Jul 2010 14:49:01 +0400 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2652453 Цитата (MyNameIsIgor @ 26.07.10, 12:58)
А чем вариант с отдельным компаратором не устраивает?

Ну, это классика, которая уже перенесена в STL.

Добавлено 26.07.10, 13:49
Цитата (MyNameIsIgor @ 26.07.10, 12:58)
Но, опять же, на inline такого простейшего сравнения не приходится надеяться.

Да как сказать... Вполне может заинлайнить. ]]> Flex Ferrum C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2652379 Mon, 26 Jul 2010 13:58:07 +0400 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2652379 Цитата (Flex Ferrum @ 26.07.10, 12:55)
А иначе то - никак. По большому счёту.

А чем вариант с отдельным компаратором не устраивает?
Цитата (Flex Ferrum @ 26.07.10, 12:55)
Т. е. в случае, если лямбла идёт без capture-списка, то должна спокойно приводиться к указателю на функцию с соответствующей сигнатурой.

Но, опять же, на inline такого простейшего сравнения не приходится надеяться. ]]> MyNameIsIgor C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2652373 Mon, 26 Jul 2010 13:55:02 +0400 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2652373 Цитата (MyNameIsIgor @ 26.07.10, 12:52)
Flex Ferrum, я думал об этом. Но иметь полиморфный вызов для сравнения - не по плюсовому как-то ;)

А иначе то - никак. По большому счёту. Хотя (по последней редакции стандарта) должно работать так:
       // При объявлении типа мапы:
       typedef std::multimap<int, A, bool (*)(A a1, A a2)> mmap_type;
        
       // при объявлении экземпляра мультимапы:
       mmap_type m([](A a1, A a2) {return a1.i < a2.i; });

Т. е. в случае, если лямбла идёт без capture-списка, то должна спокойно приводиться к указателю на функцию с соответствующей сигнатурой. ]]> Flex Ferrum C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2652367 Mon, 26 Jul 2010 13:52:12 +0400 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2652367 Flex Ferrum, я думал об этом. Но иметь полиморфный вызов для сравнения - не по плюсовому как-то ;) ]]> MyNameIsIgor C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2652252 Mon, 26 Jul 2010 12:18:00 +0400 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2652252
    // При объявлении типа мапы:
    typedef std::multimap<int, A, std::function<bool (A const&, A const&)>> mmap_type;
     
    // при объявлении экземпляра мультимапы:
    mmap_type m([](A a1, A a2) {return a1.i < a2.i; });

Как-то так. ]]> Flex Ferrum C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2652245 Mon, 26 Jul 2010 12:12:25 +0400 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2652245 ShapovalovTS, тогда я бы сделал так
    class B {
        struct A {int i;};
     
        struct comparator : public std::binary_function<A, A, bool>
        {
            bool operator() (const A& first, const A& second) const { return first.i < second.i; }
        };
        std::multimap<A, int, comparator> m;
    };
]]> MyNameIsIgor C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2652117 Mon, 26 Jul 2010 09:39:42 +0400 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2652117 Цитата (MyNameIsIgor @ 26.07.10, 08:18)

Или вы хотите в таком виде?
    typedef decltype([](A a1, A a2) {return a1.i < a2.i; }) some_type;


Да, хотелось бы не выносить тип из объявления класса, в котором идет работа с std::multimap. Мой компилятор от Intel тоже отказывается подобное компилировать:
    class B {
        struct A {int i;};
     
        typedef decltype([](A a1, A a2) {return a1.i < a2.i; }) some_type;
    };
]]> ShapovalovTS C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2652103 Mon, 26 Jul 2010 09:18:31 +0400 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2652103 Цитата (ShapovalovTS @ 26.07.10, 08:07)
А есть ли в этом случае способ в новом стандарте заменить auto f на что-то типа typedef <lambda-expr> f; в объявлении класса

Я немного не понял, что вы хотите сделать. В том то и дело, что тип лямбды нам неизвестен, потому typedef мы можем сделать только с использованием decltype
    auto f = [](A a1, A a2) {return a1.i < a2.i; };
    typedef decltype(f) some_type;

Если же вам нужно, чтобы тип компаратора был виден глобально, то больше смысла будет в создании функтора, так сказать, "по-старинке", а не в использовании лямбды. Всё же лямбда - это что-то для локального использования.

Добавлено 26.07.10, 08:23
Или вы хотите в таком виде?
    typedef decltype([](A a1, A a2) {return a1.i < a2.i; }) some_type;

Тут нужно знатоков стандарта, ибо я не знаю, законна ли такая конструкция в принципе. Но у меня в gcc 4.5 она не компилировалась.
И в таком случае не получится создать экземпляр этого типа. Т.е. код
    some_type f;

не скомпилируется, потому что у лямбд нет конструктора по умолчанию. ]]> MyNameIsIgor C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2652099 Mon, 26 Jul 2010 09:07:19 +0400 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2652099 MyNameIsIgor, спасибо за ответ, в таком виде компилятор код воспринимает. Со сравнением int-ов - тоже верное замечание.

А есть ли в этом случае способ в новом стандарте заменить auto f на что-то типа typedef <lambda-expr> f; в объявлении класса, иначе приходится выносить этот код на уровень выше, чего делать не хотелось бы. ]]> ShapovalovTS C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2652094 Mon, 26 Jul 2010 08:27:03 +0400 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2652094 ShapovalovTS, аргументом шаблона должен быть тип компаратора, а данное выражение
    [](A a1, A a2) -> bool {return a1.i < a2.i; }

создаёт, как я понимаю, именно экземпляр лямбды. И, кстати, в данном случае не обязательно указывать возвращаемый лямбдой тип.
Для получения типа лямбды можно использовать decltype как-то так:
    auto f = [](A a1, A a2) {return a1.i < a2.i; };
    std::multimap<int, A, decltype(f)> m(f);

Поскольку для лямбд не гарантируется наличие конструктора по умолчанию, то мы передаём экземпляр лямбды в конструктор multimap'а.

Добавлено 26.07.10, 07:31
Кстати, только сейчас заметил :) Компаратор то должен ключи сравнивать, т.е. int'ы в вашем случае, а у вас он сравнивает объекты типа A. ]]> MyNameIsIgor C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2652093 Mon, 26 Jul 2010 08:15:26 +0400 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2652093
    struct A {
            int i;
    };
     
    std::multimap<int, A,
            [](A a1, A a2) -> bool {return a1.i < a2.i; }
    > m;


Но компилятор (intel c++ 12 beta с ключём -std=c++0x), который запросто воспринимает lambda в других местах, в таком объявлении не понимает синтаксиса. Возможно ли такое использование lambda-функций? ]]> ShapovalovTS C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2588812 Fri, 07 May 2010 21:27:33 +0400 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2588812 Цитата (MyNameIsIgor @ 7.05.10, 19:11)
там же написано - во thread

я изначально не понял, это в бустовских или компилятора хидерах. ]]> niXman C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2588760 Fri, 07 May 2010 20:11:16 +0400 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2588760 niXman, там же написано - во thread :)
Не помню точно путь в винде, но судя по линухе - includes/c++/4.5.0/thread ]]> MyNameIsIgor C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2588753 Fri, 07 May 2010 20:03:52 +0400 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2588753 Цитата (MyNameIsIgor @ 7.05.10, 09:10)
Flex Ferrum, на последней вашей сборке тоже не компилится. В thread есть такая директива препроцессора
    #if defined(_GLIBCXX_HAS_GTHREADS) && defined(_GLIBCXX_USE_C99_STDINT_TR1)

Как я понял, она есть false, и код с классом thread просто не существует при компиляции.

в каком файле? ]]> niXman C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2588115 Fri, 07 May 2010 10:47:28 +0400 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2588115 Flex Ferrum, ясно. Значит, придётся ставить эксперименты самому :) ]]> MyNameIsIgor C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2588102 Fri, 07 May 2010 10:43:59 +0400 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2588102 Цитата (MyNameIsIgor @ 7.05.10, 09:34)
При сборке MinGW?

Ну да. ]]> Flex Ferrum C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2588078 Fri, 07 May 2010 10:34:44 +0400 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2588078 Цитата (Flex Ferrum @ 7.05.10, 09:14)
либо есть некие ключи конфигурации, которые можно выставить (при сборке)

При сборке MinGW? ]]> MyNameIsIgor C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2588037 Fri, 07 May 2010 10:14:06 +0400 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2588037 Цитата (MyNameIsIgor @ 7.05.10, 09:10)
Как я понял, она есть false, и код с классом thread просто не существует при компиляции.

Ну, одно из двух. Либо не поправили, либо есть некие ключи конфигурации, которые можно выставить (при сборке), чтобы это заработало. ]]> Flex Ferrum C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2588032 Fri, 07 May 2010 10:10:53 +0400 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2588032 Flex Ferrum, на последней вашей сборке тоже не компилится. В thread есть такая директива препроцессора
    #if defined(_GLIBCXX_HAS_GTHREADS) && defined(_GLIBCXX_USE_C99_STDINT_TR1)

Как я понял, она есть false, и код с классом thread просто не существует при компиляции. ]]> MyNameIsIgor C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2587994 Fri, 07 May 2010 09:34:03 +0400 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2587994 Цитата (niXman @ 6.05.10, 21:24)
но использую std::thread, там с этим нет проблем.

В gcc у него под виндой проблемы. Просто не компиляется. Хотя, возможно, с последнего раза, как я это пробовал - уже пофиксили. ]]> Flex Ferrum C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2587779 Thu, 06 May 2010 22:29:21 +0400 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2587779 Цитата (niXman @ 6.05.10, 21:24)
замечал сей баг. но использую std::thread, там с этим нет проблем.
а что(как) править нужно?

там же что типа этого:
    #ifdef HAVE_RVALUE_REFERENCES
    ....
    #else
    ...
    #endif

значит надо добавить #undef соответствующий в начало заголовка.
только в стандартной библиотеке libstdc++ не реализовали std::this_thread::yield, в boost реализовали. ]]> DEADHUNT C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2587772 Thu, 06 May 2010 22:24:05 +0400 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2587772 Цитата (DEADHUNT @ 6.05.10, 20:36)
Цитата (Большой @ 6.05.10, 18:55)
boost обновился

только вот это похоже не исправили https://svn.boost.org/trac/boost/ticket/3844 поэтому не получается использовать boost.thread в gcc с включенным C++0x, приходится вручную править заголовочный файл.

замечал сей баг. но использую std::thread, там с этим нет проблем.
а что(как) править нужно? ]]> niXman C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2587741 Thu, 06 May 2010 21:36:37 +0400 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2587741 Цитата (Большой @ 6.05.10, 18:55)
boost обновился

только вот это похоже не исправили https://svn.boost.org/trac/boost/ticket/3844 поэтому не получается использовать boost.thread в gcc с включенным C++0x, приходится вручную править заголовочный файл. ]]> DEADHUNT C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2587628 Thu, 06 May 2010 19:55:39 +0400 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2587628 ]]> Большой C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2537178 Wed, 17 Mar 2010 16:19:21 +0300 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2537178 Цитата
C++0x could officially be published as soon as next year as ISO C++ 2011, and we can stop with the “x-is-hex” jokes and just start calling it C++11.

Ну.. хочется в это верить :yes: ]]> Бобёр C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2535877 Tue, 16 Mar 2010 15:15:52 +0300 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2535877
http://herbsutter.wordpress.com/2010/03/13...ndards-meeting/ ]]> Flex Ferrum C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2510466 Fri, 19 Feb 2010 23:01:22 +0300 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2510466 Цитата (Flex Ferrum @ 19.02.10, 20:23)
успешно удался эксперимент по прикручиванию 2010-го компиля к 2008-ой студии.

Симлинки на папку(-и), делов-то. Но в 2010 с этим ещё проще, там появились (давно пора) тулсеты и можно выбирать, чем ты хочешь компилировать. ]]> olias C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2510341 Fri, 19 Feb 2010 20:23:11 +0300 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2510341 Цитата (B.V. @ 19.02.10, 20:16)
Это опечатка, а не зверь. Конечно, FeaturePack

Если 2008-го года, то там от C++0x - только расширение STL из tr1. Больше ничего. Но мне, честно говоря, успешно удался эксперимент по прикручиванию 2010-го компиля к 2008-ой студии. ]]> Flex Ferrum C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2510335 Fri, 19 Feb 2010 20:16:25 +0300 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2510335 B.V. C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2510231 Fri, 19 Feb 2010 18:31:41 +0300 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2510231 Цитата (B.V. @ 19.02.10, 17:08)
Читал, что FuturePack

А это что за зверь? ]]> Flex Ferrum C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2510159 Fri, 19 Feb 2010 17:08:14 +0300 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2510159 B.V. C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2467282 Fri, 08 Jan 2010 01:07:12 +0300 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2467282
DR 693:
Цитата
Notes from the July, 2009 meeting:

The CWG reached consensus that the deprecated conversion should be removed altogether.

Proposed resolution (September, 2009):

1. Remove 4.2 [conv.array] paragraph 2:

A string literal (2.14.5 [lex.string]) with no prefix, with a u prefix, with a U prefix, or with an L prefix can be converted to an rvalue of type “pointer to char”, “pointer to char16_t”, “pointer to char32_t”, or “pointer to wchar_t”, respectively. In any case, the result is a pointer to the first element of the array. This conversion is considered only when there is an explicit appropriate pointer target type, and not when there is a general need to convert from an lvalue to an rvalue. [Note: this conversion is deprecated. See Annex D [depr]. —end note] For the purpose of ranking in overload resolution (13.3.3.1.1 [over.ics.scs]), this conversion is considered an array-to-pointer conversion followed by a qualification conversion (4.4 [conv.qual]). [Example: "abc" is converted to “pointer to const char” as an array-to-pointer conversion, and then to “pointer to char” as a qualification conversion. —end example]

[...]

4. Change the discussion of 2.14.5 [lex.string] in C.1.1 [diff.lex] as follows:

Change: String literals made const
The type of a string literal is changed... “array of const wchar_t.”

    char* p = "abc";   // valid in C, invalid in C++

Отмечу, однако, что запрет такого преобразования будет условный: стандарт позволяет и будет позволять компилятору иметь собственные расширения языка, и, в частности, компилятор сможет выполнять такое преобразование при условии, что без применения расширений программа по стандарту была бы ill-formed, и при этом он обязан будет выдавать диагностическое сообщение. ]]> Masterkent C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2462143 Tue, 29 Dec 2009 09:54:47 +0300 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2462143 Flex Ferrum
Пардон, это что-то я тупанул ]]> Большой C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2461635 Mon, 28 Dec 2009 16:37:39 +0300 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2461635 Цитата (Большой @ 28.12.09, 16:27)
MyNameIsIgor
так не пашет

В смысле? ]]> Flex Ferrum C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2461629 Mon, 28 Dec 2009 16:27:51 +0300 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2461629 MyNameIsIgor
так не пашет ]]> Большой C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2461563 Mon, 28 Dec 2009 15:05:59 +0300 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2461563 Большой, gcc? Тогда -std=c++0x ]]> MyNameIsIgor C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2461531 Mon, 28 Dec 2009 14:35:09 +0300 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2461531 я глянул вроде бы все есть, но не подключаются, я так думаю нужек ключ для компилятора ]]> Большой C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2461438 Mon, 28 Dec 2009 12:46:27 +0300 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2461438 Цитата (Большой @ 28.12.09, 12:39)
подскажи пожалуйста как использовать алгоритмы С09 в gcc

Какие именно? ]]> Flex Ferrum C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2461433 Mon, 28 Dec 2009 12:39:50 +0300 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2461433 Flex Ferrum
подскажи пожалуйста как использовать алгоритмы С09 в gcc ]]> Большой C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2459844 Fri, 25 Dec 2009 21:31:10 +0300 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2459844 Qraizer C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2459670 Fri, 25 Dec 2009 16:54:50 +0300 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2459670 Цитата (Masterkent @ 25.12.09, 16:34)
Цитата (D_KEY @ 25.12.09, 14:28)
Еще разок. Поведение встроенных , && || ?: сильно отличается от поведения остальных операторов, они представляют собой особые языковые формы. Их поведение нельзя имитировать другими языковыми средствами и при их перегрузке нельзя не исказить предусмотренной для них семантики.

Несколько утверждений и ни одного логического следствия. Так рассуждения не строятся.

Извини, не по стандарту.
"Следствия" были ранее. Я в очередной раз пытался обосновать свои тезисы о нелогичности перегрузки этих операторов. Интересно, слово "этих" будет понятно? На всякий случай скажу, что под "этими операторами" понимаются && || , ?:. ]]> D_KEY C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2459523 Fri, 25 Dec 2009 14:28:32 +0300 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2459523 Цитата (Masterkent @ 24.12.09, 19:00)
Цитата (D_KEY @ 24.12.09, 17:47)
Мы сейчас говорим о выражениях и встроенных операторах или где?

Я ответил на конкретное предложение, где ничего не говорилось про выражения, но говорилось про операторы (без "встроенные"). Я не могу читать твои мысли, а могу только отвечать на то, что ты пишешь.

Но сохранять контекст разговора все-таки неплохо бы научится.

Цитата
очевидно... тоже очевидно.

Ну раз очевидно, тогда откуда высказывания о неуместности определений из математики?

Цитата
Я вообще не понимаю твои рассуждения.

Еще разок. Поведение встроенных , && || ?: сильно отличается от поведения остальных операторов, они представляют собой особые языковые формы. Их поведение нельзя имитировать другими языковыми средствами и при их перегрузке нельзя не исказить предусмотренной для них семантики.

Цитата
Скажу, что не вижу никаких доводов, почему отсутствие sequence point между вычислением аргументов операторной функции мешает перегрузке &&.
Потому, что нельзя создать перегрузку, которая будет сохранять семантику встроенной версии.

Цитата
Здесь в полном соответствии со стандартом реализация имеет право вычислить f() во время выполнения программы

Хм... Это несколько меняет дело... Правда в еще более худшую сторону. Неужели С++ настолько непредсказуем с точки зрения стандарта? ]]> D_KEY C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2459014 Thu, 24 Dec 2009 20:10:41 +0300 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2459014 Цитата
Здесь в полном соответствии со стандартом реализация имеет право вычислить f() во время выполнения программы

эээ почему? о_О разве приведенная строка не подпадает под
Цитата
Unlike &, && guarantees left-to-right evaluation: the second operand is not evaluated if the first operand is false.
? ]]> Radagast C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2458925 Thu, 24 Dec 2009 17:47:24 +0300 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2458925 Цитата (Masterkent @ 24.12.09, 17:30)
Цитата (D_KEY @ 24.12.09, 16:07)
Функция, оператор и операция - это, в общем случае, отображения одного множества в другое.

Не в общем случае, а только в определённых разделах математики. В императивных языках программирования функции и операторы могут приводить к изменению состояния программы и не иметь результирующего значения.

Мы сейчас говорим о выражениях и встроенных операторах или где?

Цитата
Или, по-твоему, алгебраические определения - единственно верные и на них нужно молиться?

Нет. Молиться на какие-либо определения не стоит. Ни на "алгебраические", ни на указанные в стандартах. Но нужно понимать, откуда идут определенные понятия. И поскольку мы говорим о выражениях и элементарных операциях, то все мною сказанное остается корректным.

Цитата
Цитата (D_KEY @ 24.12.09, 16:07)
Мне кажется нелогично разрешать такую перегрузку.

А мне так не кажется.

Так что ты скажешь относительно sequence point?

Цитата
Цитата (D_KEY @ 24.12.09, 16:07)
Кроме того, logical AND он и есть logical AND, и смысла ни для каких значений, кроме bool'ов, не имеет.

Перегруженный оператор && не обязан вычислять "логическое И".
Как называется && в стандарте?
Но, конечно, не обязан. ]]> D_KEY C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2458800 Thu, 24 Dec 2009 16:07:46 +0300 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2458800 Цитата (Masterkent @ 23.12.09, 22:22)
Цитата (D_KEY @ 23.12.09, 20:00)
Математическая запись бинарной операции.

Ты можешь внятно растолковать смысл фразы "это описание "операции" && не соответствует bool * bool -> bool"? Составить предложение из букв и прочих символов - не значит написать что-то осмысленное.

Если ты не в состоянии что-либо понять, это вовсе не означает, что это что-либо не имеет смысла. Цитирование стандартов не всегда означает понимание лежащих в их основе концепций.
Функция, оператор и операция - это, в общем случае, отображения одного множества в другое.
Это понятие из математики, но оно справедливо и для программирования, пусть и с некоторыми оговорками для некоторых языков
(в данном случае, поскольку мы говорим об элементарных операциях, эти оговорки можно не учитывать).
Запись A -> B обозначает отображение множества A в множество B, то есть соответствие каждому из элементов множества A определенному элементу из множества B.
A*B обозначает пару элементов множеств A и B соответственно.
bool * bool -> bool – обозначает отображение(функцию, операцию, оператор), которое ставит в соответствие паре элементов из множества булевых значений элемент из множества булевых значений.
Если в язык встроены ленивые вычисления, а побочных действие нет, то отказ от вычисления второго аргумента логического and абсолютно естественен и по-прежнему соответствует bool * bool -> bool.
Если же в язык ленивые вычисления не встроены, но язык предоставляет некоторую специальную языковую конструкцию, которая позволяет откладывать вычисления на тот момент, когда потребуется значение (в принципе, при наличии лямбда функций такая форма имеет очень простую реализацию(но требует или хорошо развитых макросов или введение специальной языковой формы)), то указанное обозначение продолжает иметь силу, правда с некоторыми оговорками. С++ же не имеет ни того, ни другого. Да и не в этом дело.
В С++ операции и функции слишком часто используются для своих побочных эффектов, а не только для вычисления значения. Дело не только в "the second operand is not evaluated if the first operand is ...", а в sequence point.
Цитата
operators can be regrouped according to the usual mathematical rules only where the operators really
are associative or commutative
. . .
Overloaded operators are never assumed to be associative or commutative

Цитата
A full-expression is an expression that is not a subexpression of another expression
…
There is a sequence point at the completion of evaluation of each full-expression.

Но для рассматриваемых операторов мы имеем:
Цитата
In the evaluation of each of the expressions
a && b
a || b
a ? b : c
a , b
using the built-in meaning of the operators in these expressions (5.14, 5.15, 5.16, 5.18), there is a sequence point after the evaluation of the first expression.

Это и есть то, что называется особой формой.
Данные операции представляют собой специальные выражения, которые рассматриваются особым, отличным от предусмотренного для других выражений, образом.
Но, выполняя перегрузку, мы, естественно, убираем эту sequence point:
Цитата
When one of these operators is overloaded
(clause 13) in a valid context, thus designating a user-defined operator function, the expression designates a function invocation,
and the operands form an argument list, without an implied sequence point between them

Мне кажется нелогично разрешать такую перегрузку.
Кроме того, logical AND он и есть logical AND, и смысла ни для каких значений, кроме bool'ов, не имеет. ]]> D_KEY C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2458071 Wed, 23 Dec 2009 20:00:22 +0300 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2458071 Цитата (Masterkent @ 23.12.09, 19:14)
Цитата (D_KEY @ 22.12.09, 17:28)
Как написать такую функцию?

При чём тут функции? :wacko:

Можно тогда, на всякий случай, определение функции?
А там посмотрим.

Цитата (Masterkent @ 23.12.09, 19:14)
Цитата (D_KEY @ 22.12.09, 17:28)
То, что это описание "операции" && не соответствует bool * bool -> bool

Я не понимаю смысл такой формулировки.

Математическая запись бинарной операции. ]]> D_KEY C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2457254 Wed, 23 Dec 2009 10:54:45 +0300 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2457254 Цитата (Qraizer @ 23.12.09, 02:20)
Это-то было понятно с самого начала. Непонятно, с чего бы это должно было быть причиной запрета на их перегрузку.

Я не говорю, что нужно запретить. Я не понимаю, зачем было изначально разрешать. Обратной дороги уже нет. Как и со спецификациями исключений и многим другим...

Цитата
Возможность их перегрузки для пользовательских типов может быть полезна в ряде случаев.

В каких?

Цитата
Тот факт, что будучи перегруженными, эти операторы будут иметь семантику, отличную от их стандартных форм

А я пытаюсь сказать, что встроенные версии вообще не являются операторами.

Цитата
Я склонен считать, что наоборот, стандартные формы этих операторов имеют особенную семантику
Так и есть. Стандартные версии - особая языковая форма, а не оператор. Зачем понадобилось давать возможность "пользователям" создавать еще и оператор с таким же обозначением, как встроенная в язык особая форма - непонятно. Это все-равно, что разрешить перегружать макрос функцией.
Можно разрешить добавлять оператор ; или оператор пробела или operator".
А что? Просто "стандартные формы этих операторов" будут иметь "особенную семантику". ]]> D_KEY C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2457122 Wed, 23 Dec 2009 03:58:20 +0300 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2457122 Цитата (Qraizer @ 23.12.09, 02:20)
Я склонен считать, что наоборот, стандартные формы этих операторов имеют особенную семантику

Тем более только для типа bool. ]]> amdei C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2457102 Wed, 23 Dec 2009 02:20:30 +0300 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2457102 Возможность их перегрузки для пользовательских типов может быть полезна в ряде случаев. Тот факт, что будучи перегруженными, эти операторы будут иметь семантику, отличную от их стандартных форм, во-первых, несложно документируется, во-вторых, и без документирования вполне очевидна. Я склонен считать, что наоборот, стандартные формы этих операторов имеют особенную семантику, что и задокументировано Стандартом. ]]> Qraizer C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2456721 Tue, 22 Dec 2009 17:33:44 +0300 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2456721 Цитата (Masterkent @ 22.12.09, 16:47)
Unlike &, && guarantees left-to-right evaluation: the second operand is not evaluated if the first operand is false.

Вот собственно и описан предмет возмущения D_KEY. ]]> sfinae C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2456711 Tue, 22 Dec 2009 17:28:26 +0300 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2456711 Цитата (Masterkent @ 22.12.09, 16:47)
Цитата (D_KEY @ 22.12.09, 15:39)
А можно определение операнда?

В ISO/IEC 24765:2008 даётся такое определение:
Цитата
operand. a variable, constant, or function upon which an operation is to be performed

И я о том.
Цитата
Но в C++ операнды не ограничиваются только переменными, константами и функциями. Это могут любые выражения и даже типы.

То есть операндом в С++ может являться непосредственно само выражение? Как написать такую функцию?

Цитата
Цитата (D_KEY @ 22.12.09, 15:39)
поскольку операнды вычисляются до выполнения операции

Где такое правило сформулировано?

То есть при вызове функций(или операторов) операнды не обязаны быть вычислены до вызова?

Цитата
Цитата (ISO/IEC 24765:2008)
operation. (1) in computer mathematics, the action specified by an operator on one or more operands; (2) in programming, a defined action that can be performed by a computer system

К примеру, вот оно описание действия встроенного оператора &&:

Цитата (5.14)
The operands are both implicitly converted to type bool (clause 4). The result is true if both operands are true and false otherwise. Unlike &, && guarantees left-to-right evaluation: the second operand is not evaluated if the first operand is false.

The result is a bool. All side effects of the first expression except for destruction of temporaries (12.2) happen before the second expression is evaluated.

Что тут не нравится?

То, что это описание "операции" && не соответствует bool * bool -> bool(как должно быть согласно определению "the action specified by an operator on one or more operands"). Вообще, and может быть реализован, как операция над двумя операндами типа bool. Но встроенная версия себя так не ведет.
Я не против встроенного поведения, я говорю о том, что перегрузка таких операторов отличается от прочих перегрузок тем, что встроенные версии данных операторов являются специальными языковыми формами, а не обычными операциями(и не могут быть ими заменены). А в результате перегрузки мы вводим именно операцию. ]]> D_KEY C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2456555 Tue, 22 Dec 2009 15:39:39 +0300 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2456555 Цитата (Masterkent @ 22.12.09, 01:24)
t + sizeof(t) тут не сгодится. Здесь можно было бы использовать boost::end:

Извиняюсь :blush: . Поторопился ;) .

Цитата
Они вполне себе операторы. Операнды у них есть? Есть. Выражения они образуют? Образуют. Чего ещё надо?

А можно определение операнда? Просто в контексте С++ у встроенных версий этих операторов операндов нет, поскольку операнды вычисляются до выполнения операции, а для этих операций это не так.

Цитата
Цитата (D_KEY @ 19.12.09, 23:17)
Их "перегрузка" является введением совершенно иной сущности(нового оператора), но с тем же обозначением.

Вообще-то оператор - это и есть обозначение:

Цитата (ISO/IEC 24765:2008 (Systems and software engineering — Vocabulary))
operator. a mathematical or logical symbol that represents an action to be performed in an operation


Правильно. Только встроенные версии рассматриваемых "операторов" не являются операциями(фактически ведут себя как выражения). Или я опять ошибаюсь?

Цитата
Цитата
Но в С++ нельзя определять собственные операторы

Нельзя вводить новые обозначения и менять приоритеты. Перегрузка операторов не вводит новых обозначений и приоритеты не меняет.

А порядок вычислений менять и заставлять вычислять то, что встроенные версии не вычисляют, можно ;) ? ]]> D_KEY C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2456367 Tue, 22 Dec 2009 13:28:10 +0300 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2456367 archimed7592 C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2456356 Tue, 22 Dec 2009 13:22:30 +0300 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2456356 доцент C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2454505 Sun, 20 Dec 2009 14:05:41 +0300 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2454505 Цитата (GoldFinch @ 20.12.09, 12:07)
D_KEY, точно также перегрузка << для потоков меняет сущность оператора сдвига

Не точно также. << как был оператором, так им и остался, порядок вычисления и приоритет будет тем же. || && , ?: - "операторами", в принципе, не являются, поскольку управляют последовательностью вычислений. Это специальные языковые формы. Да, я знаю, что в стандарте они значатся, как операторы.
Их "перегрузка" таковой не является, поскольку в этом случае ты вводишь уже "настоящий" оператор(в отличие от встроенных версий || && , ?: ), который просто обозначается теми же символоми. Но это совершенно другая языковая конструкция. Ну не перегрузка это.

Добавлено 20.12.09, 14:07
Цитата (kanes @ 20.12.09, 12:27)
GoldFinch, сущность поменять можно, но не до абсурда, типа того что перегруженный << на самом деле работает как >> или + работает как умножение

Это так. Но я не о том :)

Добавлено 20.12.09, 14:08
Цитата (sfinae @ 20.12.09, 13:21)
Мне показалось что D_KEY делал упор не на изменение семантики самой операции, а на изменение семантики в контексте C++ (из-за изменения порядка выполнения).

Ага, примерно так. ]]> D_KEY C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2454460 Sun, 20 Dec 2009 13:21:14 +0300 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2454460 D_KEY делал упор не на изменение семантики самой операции, а на изменение семантики в контексте C++ (из-за изменения порядка выполнения).
Например код (который пишут некоторые мои знакомые):
    foo() && bar();

По сути эквивалентен
    if(foo())bar();

и гарантирует что bar будет вызван только в случае успешного выполнения foo().
А если для возвращаемого значения bar() перегрузить оператор &&, то эти функции уже могут быть вызваны в любом порядке, и уже к результату применен оператор &&. А это уже не так безобидно как умножать по значку "+". ]]> sfinae C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2454419 Sun, 20 Dec 2009 12:27:25 +0300 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2454419 GoldFinch, сущность поменять можно, но не до абсурда, типа того что перегруженный << на самом деле работает как >> или + работает как умножение ]]> kanes C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2454411 Sun, 20 Dec 2009 12:07:57 +0300 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2454411 D_KEY, точно также перегрузка << для потоков меняет сущность оператора сдвига,
а также перегрузка % в boost.format, перегрузка & в boost.serialization, и еще куча перегрузок меняющих семантику операторов. ]]> GoldFinch C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2454223 Sat, 19 Dec 2009 23:17:01 +0300 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2454223 Цитата (GoldFinch @ 19.12.09, 22:59)
Цитата (D_KEY @ 19.12.09, 21:53)
Перегрузим ;?

говорили уже, что ; - не оператор. пробел перегрузи.

Так и я о том. Перегружать , также глупо.

Добавлено 19.12.09, 23:27
GoldFinch, ты просто рассматриваешь С++ как некую данность, я же хочу понять почему(и зачем) он такой. Пару лет назад, такие книги, как D&E, давали мне нужные ответы, но теперь мне этого недостаточно.
Но тут это все-таки не совсем в тему ;)

Добавлено 19.12.09, 23:47
Разве можно сказать, что перегрузка , || && вообще является таковой? Их встроенные версии не являются простыми операторами(они вообще по сути своей не являются операторами, хотя и носят такое название), это специальные языковые формы и их нельзя имитировать другими средствами языка. Их "перегрузка" является введением совершенно иной сущности(нового оператора), но с тем же обозначением. Но в С++ нельзя определять собственные операторы, соответственно, даже с этой стороны, такие перегрузки противоречат идеологии языка... ]]> D_KEY C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2454216 Sat, 19 Dec 2009 22:59:05 +0300 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2454216 Цитата (D_KEY @ 19.12.09, 21:53)
Перегрузим ;?

говорили уже, что ; - не оператор. пробел перегрузи. ]]> GoldFinch C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2454185 Sat, 19 Dec 2009 21:53:06 +0300 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2454185 Цитата (Qraizer @ 18.12.09, 20:10)
D_KEY, нельзя заставлять поступать так-то и так-то исключительно из религиозных соображений.

Это не религиозные убеждения. Перегрузим ;?
Если бы в С++ был способ перегрузить эти операторы и сохранить порядок вычислений, то я бы не был против такой перегрузки.

Цитата
Тогда уж надо запретить перегружать + как умножение, префиксный ++ как постфиксный итп.

Во-первых, это невозможно. Во-вторых, перегрузка этих операторов не оказывает влияние на порядок выполнения.

Добавлено 19.12.09, 21:55
Цитата (kanes @ 18.12.09, 20:16)
Цитата (D_KEY @ 18.12.09, 09:31)
Так вот и незачем перегружать операторы, которые семантически нельзя представить в виде функций.

Кстати где-то видел такую рекомендацию: перегрузку операторов делать так: написать функцию, которая выполняет тоже самое, что и перегружаемый оператор, потом внутри перегрузки использовать эту функцию, честно говоря, не очень понимаю смысла сей рекомендации

Возможно это касалось виртуальных методов. Вроде перегрузки оператора вывода(то есть сдвига ;)). Обычно пишется отдельный виртуальный метод, а оператор переопределяется для ссылки на базовый класс. ]]> D_KEY C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2453511 Fri, 18 Dec 2009 20:16:12 +0300 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2453511 Цитата (D_KEY @ 18.12.09, 09:31)
Так вот и незачем перегружать операторы, которые семантически нельзя представить в виде функций.

Кстати где-то видел такую рекомендацию: перегрузку операторов делать так: написать функцию, которая выполняет тоже самое, что и перегружаемый оператор, потом внутри перегрузки использовать эту функцию, честно говоря, не очень понимаю смысла сей рекомендации ]]> kanes C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2453509 Fri, 18 Dec 2009 20:10:58 +0300 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2453509 D_KEY, нельзя заставлять поступать так-то и так-то исключительно из религиозных соображений. Тогда уж надо запретить перегружать + как умножение, префиксный ++ как постфиксный итп. Это было бы полезнее. Формальных же препятствий к перегрузке этих операций нет. ]]> Qraizer C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2452735 Fri, 18 Dec 2009 09:31:15 +0300 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2452735 Цитата (amk @ 18.12.09, 04:35)
Да, это проблема. Если бы можно было отложить вычисление параметров до того момента, когда они действительно понадобятся. Но в C++ такой возможности нет - это не Алгол.

Так вот и незачем перегружать операторы, которые семантически нельзя представить в виде функций. ]]> D_KEY C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2452729 Fri, 18 Dec 2009 09:20:54 +0300 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2452729 Цитата (amk @ 18.12.09, 04:35)
Если бы можно было отложить вычисление параметров до того момента, когда они действительно понадобятся.

ленивые вычисления вполне реализуемы, правда вместо foo(x) будет чтото вроде bind(foo,x) ]]> GoldFinch C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2452673 Fri, 18 Dec 2009 04:35:56 +0300 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2452673 amk C/C++: Общие вопросы http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2452668 Fri, 18 Dec 2009 02:38:48 +0300 Новый стандарт C++: C++09 http://forum.sources.ru/index.php?showtopic=190375&view=findpost&p=2452668 Цитата (amk @ 18.12.09, 02:33)
Просто для ||, && и , нет такого устойчивого стереотипа, что они означают

Дело не только в значении, дело в поведении и порядке вычислений.
Так, например, встроенный || не вычисляет второй аргумент, если первый - true, кроме того, первый аргумент всегда вычисляется до второго. А если мы перегружаем ||, то вычислены будут оба аргумента, причем в неизвестном порядке. ]]> D_KEY C/C++: Общие вопросы