Форум 'C/C++' на RSDN.RU

Оптимизация кода на C

Sun, 12 Feb 2012 15:47:39 GMT

Нашёл тут в интернете след. статью:

http://itw66.ru/blog/c_plus_plus/13.html

Интересует, прежде всего, вот что — какие из описанных в ней приёмов по оптимизации кода на C действительно имеют место быть в реальной программе?

Я имею ввиду то, что не сделают ли за меня умные оптимизации современных компиляторов абсолютно то же самое?

Вот только не надо заводить очередные споры на тему "такие оптимизации никому давно не нужны, прирост в производительности в данном выражении будет минимален, надо искать другие места / делать другие оптимизации".

Что вообще можете кинуть почитать про оптимизацию на C / C++?

VC codegen

Sun, 12 Feb 2012 08:23:31 GMT

Всем привет

есть такая структурка

template<int size>
struct retbuf
{
    char __[size];
};

проблема в том что если делать так

retbuf<size>();

то генерируется команда stos обнуляющая массив
хорошо пишем деструктор

template<int size>
struct retbuf
{
    ~retbuf(){}
    char __[size];
};

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

char(& __stdcall func( retbuf<7> &gh , other args))[7]
{
    ...processing...
    return gh.__;
}

(естественно константа 7 выводится через шаблон просто упростил)

need_me_text( func( retbuf<7>() ) )

должно сгенерировать

00401027 8D 45 F9         lea         eax,[ebp-7] 
0040102A 50               push        eax  
00401030 E8 4B 00 00 00   call        func (401080h)

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

00401026 33 C0            xor         eax,eax 
00401028 8D 7D F9         lea         edi,[ebp-7] 
0040102B AB               stos        dword ptr es:[edi] 
0040102C 66 AB            stos        word ptr es:[edi] 
0040102E AA               stos        byte ptr es:[edi] 
00401031 8D 45 F9         lea         eax,[ebp-7] 
00401034 50               push        eax  
0040103A E8 63 00 00 00   call        func (4010A2h)

а если с деструктором то зануления нет но появился деструктор

004114BF 8D 45 F9         lea         eax,[ebp-7]
004114D8 51               push        eax  
004114DE E8 A8 FC FF FF   call        func (41118Bh) 
004114FD 8D 45 F9         lea         eax,[ebp-7]
00411503 E8 1A FC FF FF   call        retbuf<7>::~retbuf<7>

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

 
00401027 8D 45 F9         lea         eax,[ebp-7] 
0040102A 50               push        eax  
00401030 E8 4B 00 00 00   call        func (401080h)

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

00401027 8D 45 F9         lea         eax,[ebp-7] 
0040102A 50               push        eax  
00401030 E8 4B 00 00 00   call        func (401080h)

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

решение нужно для cl.exe версии 15.0 (VS 2008)

а вообще же задача выделить память на стеке живущую до конца выражения

need_me_text( func( struct<size>() ) )

вот func должна вернуть ссылку на массив живущий до конца вызова
need_me_text дело в том что func записывает некие данные в этот массив
и передает их в функцию need_me_text выделить внутри func я не могу
значит надо внешне но предвидя контекст использования
(выделить надо на стеке и сделать невалидной после конца выражения
чтобы следующие вызовы этой же или других функций могли
переиспользовать место в стеке) можно выделить
только упаковав в структуру (я по крайней мере больше не вижу)
все работает но уперся в то что генрируется или обнуление или вызов
деструктора хочется избавится от этого мусора

Строки в C

Fri, 10 Feb 2012 17:46:43 GMT

Приветствую.

Зачем может понадобиться не выделять память под нулевой символ в C-строке?

Вопрос возник, когда посмотрел в стандарт:

char s[] = "abc", t[3] = "abc";

Кто-то такое использует?

вызов шаблонной функции класса

Fri, 10 Feb 2012 14:32:57 GMT

всем привет

объясните, пожалуйста, почему вместо
t.f<42>();
надо писать
t.template f<42>();
где t — какой-нить класс с шаблонной функцией f.
(студия понимает оба варианта)

зачем нужен такой синтаксис c ключевым словом template?

Группы исключений - как лучше сделать?

Fri, 10 Feb 2012 10:41:37 GMT

Прювет.

Цель
Ъ-использование исключений.

Задача
Реализовать группы исключений.

Требования
1. Поддержка внешнего связывания
2. Использование только стандартных средств

Реализация
Самый первый прототип, не более:

struct my_exception : public std::exception
{
public:
    my_exception() : _Msg("Unknown exception")
    {
    }

    my_exception(const std::string& msg) : _Msg(msg)
    {
    }

public:
    const char* what() const override
    {
        return _Msg.c_str();
    }

protected:
    std::string _Msg;
};

//////////////////////////////////////////////////////////////////////////

class file;
struct _open_file_t;
struct _write_file_t;

struct file_exception : public my_exception
{
public:
    file_exception() : my_exception("Unknown file error")
    {
    }

    file_exception(const std::string& msg) : my_exception(msg)
    {
    }

public:
    typedef _open_file_t open_file;
    typedef _write_file_t write_file;
};

struct _open_file_t : public file_exception {};
struct _write_file_t : public file_exception {};

Применение
Думаю теперь будет понятно как, что и зачем...

    try
    {
        FILE* file = fopen("sacrament.dat", "a+");

        if (!file)
            throw file_exception::open_file();

        if (fwrite("blah-blah", 1, 9, file) == 0)
            throw file_exception::write_file();

        if (fclose(file))
            throw file_exception();
    }
    catch (file_exception::open_file& e)
    {
        std::cout << e.what() << std::endl;
    }
    catch (file_exception::write_file& e)
    {
        std::cout << e.what() << std::endl;
    }
    catch (file_exception& e)
    {
        //whatta?!
    }
    catch (std::exception& e)
    {
        //looks like we screwed up...
    }

Заключение
Имеем Ъ-механизм исключений (ИМХО)

Вопрос
У кого какие идеи по этому поводу? Что можно сделать хорошего в контексте? С++ 11 очень приветствуется.

boost.preprocessor генерация ленивых AND/OR

Fri, 10 Feb 2012 08:14:52 GMT

привет.

хочу макросы которые можно использовать так:

std::cout << Ext_OR((b1)(Ext_AND((b2)(b1)))(b3)) << std::endl;

сделал.
макросы разворачиваются в:

std::cout << ( (b1) ? (b1) : ( !(b2) ? (b2) : ( b1 ) ) ? ( !(b2) ? (b2) : ( b1 ) ) : ( b3 ) ) << std::endl;

но осталось решить проблему многократного выполнения выражений. в примере выше, b1 будет рассчитываться 4 раза. что недопустимо.

для этого, решил воспользоваться расширением GCC: Statements and Declarations in Expressions. и, за одно, и typeof().

тогда, генерируемый код должен выглядеть так:

   std::cout << (
      ({typeof(b1) _1=b1;       // level +1
      _1?
         ({typeof(b2) _2=b2;    // level +2
            _2?
            ({typeof(b3) _3=b3; // level +3
               _3?
                  _3
               :0;
            })                  // level -3
            :0;
         })                     // level -2
         :0;
      })                        // level -1
   ) << std::endl;

но тут встала другая проблема — скопы. препроцессор не умеет рекурсию.

я подумал, генерировать на первом проходе открывающиеся скопы, а на втором — закрывающиеся.
но что-то тут не ладно. я полагаю, из-за непарных скобок.
к примеру, такой макрос "Ext_OR((b1)(b2)(b3))" на первом приходе раскрывается в:

({typeof(b1) _0 = b1; (_0) ? (_0) : ({typeof(b2) _1 = b2; (_1) ? (_1) : b3

и препроцессор не жалуется.
но если попробовать сделать вложенные макросы типа "Ext_OR((b1)(b2)(b3)(Ext_OR((b1)(b2)(b3))))", то получим ошибку: error: unterminated argument list invoking macro "BOOST_PP_REPEAT_1"

как побороть?

код на данный момент:

#include <iostream>
#include <boost/preprocessor.hpp>

#define Ext_OR_SUBCOND(unused, idx, seq) \
   ({typeof(BOOST_PP_SEQ_ELEM(idx, seq)) \
      _ ## idx = BOOST_PP_SEQ_ELEM(idx, seq); (_ ## idx) ? (_ ## idx) :

#define Ext_OR(seq) \
   ( \
      BOOST_PP_REPEAT( \
         BOOST_PP_SUB(BOOST_PP_SEQ_SIZE(seq), 1), \
         Ext_OR_SUBCOND, \
         seq \
      ) \
      BOOST_PP_SEQ_ELEM( \
         BOOST_PP_SUB(BOOST_PP_SEQ_SIZE(seq), 1), \
         seq \
      ) \
   )

#define Ext_AND_SUBCOND(unused, idx, seq) \
   ({typeof(BOOST_PP_SEQ_ELEM(idx, seq)) \
      _ ## idx = BOOST_PP_SEQ_ELEM(idx, seq); !(_ ## idx) ? (_ ## idx) :

#define Ext_AND(seq) \
   ( \
      BOOST_PP_REPEAT( \
         BOOST_PP_SUB(BOOST_PP_SEQ_SIZE(seq), 1), \
         Ext_AND_SUBCOND, \
         seq\
      ) \
      BOOST_PP_SEQ_ELEM( \
         BOOST_PP_SUB(BOOST_PP_SEQ_SIZE(seq), 1), \
         seq \
      ) \
   )

int main() {
   int b1=0, b2=1, b3=2;
   Ext_OR((b1)(b2)(b3)); // ok
   Ext_OR((b1)(b2)(b3)Ext_OR((b1)(b2)(b3)))); // error
   //Ext_AND((b1)(b2)(b3));
   /*
   std::cout <<
   Ext_OR(
      (b1)
      Ext_AND((b2)(b1))
      (b3)
   )
   << std::endl; //wait: 2; recieve: 2

   std::cout <<
   Ext_OR(
      (b1)
      Ext_AND((b1)(b2))
      (b3)
   )
   << std::endl; //wait: 2; recieve: 2
*/
}

благодарен.

stringstream и strstream

Thu, 09 Feb 2012 16:01:20 GMT

Какая разница между std::stringstream и std::strstream?

И для чего нужен std::ends? Когда его стоит вызывать?

Нужен список

Tue, 07 Feb 2012 17:08:14 GMT

Приветствую.

А нет ли где-нибудь списка implementation-defined / unspecified / undefined behaviour?

Стандарт в качестве такого списка не предлагать.

Непонятки с NULL и char

Tue, 07 Feb 2012 11:46:36 GMT

Приветствую.

Долгое время считал, что NULL в C может быть представлен в виде

#define NULL 0

или

#define NULL (void*)0

а в C++ только в виде

#define NULL 0

или 0L или 0UL.

Недавно прочитал стандарт C99:

7.17 Common definitions <stddef.h>

...

3 The macros are
NULL
which expands to an implementation-defined null pointer constant

...

Что? implementation-defined? Это как так? Т.е. NULL может быть хоть 1, хоть что угодно?

Также довольно странный момент с char.

Постоянно думал, что sizeof (char) == 1 по стандарту, однако увидел, что

6.2.5 Types

...

3 An object declared as type char is large enough to store any member of the basic
execution character set

...

Т.е. char может быть хоть 4 байта? Ведь он будет достаточно большим, чтобы вместить любой член набора символов.

Видимо, я чего-то не понимаю, прошу объяснить.

Стандарта C++ сейчас нет, там точно такая же ситуация?

снова про обработку ошибок

Mon, 06 Feb 2012 18:56:29 GMT

Sensible Error Handling — Part 1
Sensible Error Handling — Part 2

Предложение по изменению стандарта С++ 2011

Mon, 06 Feb 2012 12:12:05 GMT

Кто использует в своей практике стандартные алгоритмы или любит ими заниматься наверное уже обратили внимание, что в новом стандарте появились полезные глобальные функции std::begin и std::end, которые позволяют унифицированным образом задавать диапазоны как для стандартных контейнеров, так и для массивов. То есть ранее до введения в стандарт этих глобальных функций возникали сложности, как задать диапазон одновременно в единой манере и для сттандартных контейнеров и для массивов, так как у массивов нет функций-членов begin и end.
Однако по непонятной причине, скорее всего в спешке, в стандарт забыли включить функции cbegin и cend для принудительного получения константных итераторов или указателей.
Но хуже того неожиданно обнаруживается, что пробллема сохраняется, когда надо использовать реверсивные диапазоны. Увы, в стандарте также отсутствуют глобальные фуннкции rbegin, rend, crbegin и crend. Я сделал два предложения по дополнению и изменению стандарта. Сначала я предложил включить в стандарт функции cbegin и cend, а затем в своем втором предложении написал о необхходимости включить также глобальные функции rbegin, rend, crbegin и crend. По первому моему предложению уже есть заметные подвижки. К сожалению второе мое предложение пока что рассматривается на уровне кулуарных обсуждений.
Кому это интересно, уто следит за изменениями в стандарте, можете более подробно ознакомиться с вопросом здесь
Кстати сказать, здесь уже была тема под названием, которое звучало приблизительно так: что бы вы хотели увидеть в новом стандарте. Можно считать это сообщщение дополнением к той теме. То есть это то, что я хотел бы увидеть в новом стандарте, и что я на деле продвигаю в новый станларт.

08.02.12 21:30: Перенесено из 'C/C++'

No guarantees when calling tellg in text mode

Mon, 06 Feb 2012 10:57:47 GMT

Прочитал следующее:

Hi,

Thanks for reporting this issue. I've resolved it as By Design because the C++ Standard does not provide behavior guarantees when calling tellg() on a file opened in text mode. What's happening is that the putback buffer, accessed by the peek() call, changes the relationship between the official and effective file positions.

If you have any further questions, feel free to E-mail me at stl@microsoft.com .

Stephan T. Lavavej
Visual C++ Libraries Developer

здесь

Где это the C++ Standard does not provide behavior guarantees when calling tellg() on a file opened in text mode?

[С++0х] Ошибка линкера и constexpr

Mon, 06 Feb 2012 05:16:05 GMT

Приветствую!

Собственно вот небольшой код, компилился на gcc 4.7 c -std=c++0x.

#include <iostream>

template <typename ArrayT, size_t Size>
struct Array
{
    static constexpr ArrayT value[Size] = {};
};

static constexpr char val[3] = {};

int main()
{
    std::cout << Array<char, 3>::value << std::endl; // linker error (undefined reference)
    std::cout << val << std::endl; // ok
}

Это таки баг?

avalon 1.0rc3 build 426, zlib 1.2.3

Сравнение скорости if и switch

Sun, 05 Feb 2012 15:21:51 GMT

Приветствую.

А что, switch действительно выигрывает в скорости по сравнению с конструкциями if — else, если значения в нём последовательные?

Например, есть примерно след. участок кода:

enum {a, b, c, d, e};

int value;

...

void f ()
{
    ...
    if (value == a)
    {
        ...
    }
    else if (value == b)
    {
        ...
    }
    else if (value == c)
    {
        ...
    }
    else if (value == d)
    {
        ...
    }
    else if (value == e)
    {
        ...
    }
    ...
}

Вызов данной функции происходит довольно часто, поэтому интересует, будет ли хоть какой-то полезный выигрыш от использования switch в данном случае?

Не оптимизирует ли всё это дело компилятор так, что выйдет либо одинаковая производительность, либо даже хуже?

Использую MS-компилятор.

Фрактальная графика

Sun, 05 Feb 2012 10:28:45 GMT

Здравствуйте! суть проблемы такова: пытаюсь нарисовать картинки с помощью Множество Мандельброта. Вот ссылка на ресурс- http://fractalworld.xaoc.ru/Mandelbrot_set_and_Julia_set. Решил сам код переписать на С++, да вот не получается! Зацикливается. Помогите пожалуйста замечанием или советом!

#include <stdio.h>
#include <stdlib.h>
#include <math.h>
#include <conio.h>
#include <graphics.h>

const int iter=50;
const int max=16;


struct Obj
{
  double x, y;
 };

 void GraphInit(){
   int gdriver = DETECT, gmode, errorcode;
   initgraph(&gdriver, &gmode, "c:\\langs\\BC\\bgi");
   errorcode = graphresult();
   if (errorcode != grOk)
   {
      printf("Graphics error: %s\n", grapherrormsg(errorcode));
      printf("Press any key to exit the program:");
      getch();
      exit(1);
   }
}

int main()
{
  GraphInit();
  Obj z, t, c;
  int x, y, n;;
  int mx, my;

   mx=getmaxx()/2;
   my=getmaxy()/2;

   for(y=-my; y=my; y++)
   {
     for(x=-mx;x=mx;x++)
     {
       n=0;
       c.x=x*0.005;
       c.y=y*0.005;
       z.x=1;
       z.y=1;
       while(pow(z.x,2)+pow(z.y,2)<max && n<iter)
       {
         t=z;
         z.x=pow(t.x,2)-pow(t.y,2)+c.x;
         z.y=2*t.x*t.y+c.y;
         n++;
        }
       if(n<iter)
       {
        putpixel(mx+x, my+y,16-(fmod(n,16)));
       }
     }
    }
    getch();
    closegraph();
    return 0;
}

то ли лыжи не едут, то ли я е...й

Sat, 04 Feb 2012 13:38:57 GMT

Поиски истины привели к написанию такого вот теста:

#include <iostream>

int main()
{
    const int i = 0;
    int *pi = const_cast<int*>(&i);
    int &ci = *pi;

    ++(ci);
    ++(*pi);

    std::cout << &i << " : " << i << std::endl;
    std::cout << &ci << " : " << ci << std::endl;
    std::cout << pi << " : " << *pi << std::endl;

    return 0;
}

VC2010 (Win7) дает такой результат:

В то время как gcc (ubuntu 11.04):

Что думать по этому поводу или лучше ничего не думать?

Повторная инициализация ссылки невозможна?

Sat, 04 Feb 2012 06:04:14 GMT

Повторная инициализация ссылки невозможна? Этот пример говорит об обратном: http://ideone.com/zRPOn. gcc-4.6.1 и msvc-9.0 не возражают.

обработка ошибок АД или Рай

Fri, 03 Feb 2012 16:47:15 GMT

Всем привет

то ли я криворукий то ли это дейсвительно АД
какую Вы оценку поставите себе по пятибальной шкале
в умении писать программы с хорошо организованной
одностилевой системой обработки ошибок
я себе ставлю 1 у меня получается полный ахтунг
стыдно было бы показать хотя вроде и программирую
не первый день уже пора бы и научиться в чем дело
не знаю сейчас смотрю тут на свою писанину последних
месяцев и волосы на голове дыбом это не обработка
ошибок это АД на земле

если Вам эта тема близка Welcome! пишите что думаете
а также не забывайте ставить себе оценку

goto jmp to reinitialize object

Thu, 02 Feb 2012 12:32:38 GMT

Всем привет

int main(int argc, char* argv[])
{
    puts ("hjknkiknhkhnk");

    int ecx = 0;

cycl:

    string s("bjuyyubtubtu");
    
    puts("ngyugyuyuyuu");

    if (ecx++ > 10)
        goto end; 
    
    goto cycl; // гарантируется ли тут вызов деструктора ?
end:;
}

вообще VC++ делает вызов деструктора перед джампом на cycl
и второй вызов деструктора делает после перехода на метку end

а это по стандарту ? (делать вызов деструктора перед джампом на cycl)

Макро со значением пробел

Thu, 02 Feb 2012 12:24:06 GMT

Можно ли написать макроопределение со значением пробел?