functional object

0

1

всех приветствую в исходниках STL функтор передается по значению

template<class _InIt,
	class _Fn1> inline
	_Fn1 for_each(_InIt _First, _InIt _Last, _Fn1 _Func)
	{	// perform function for each element
	for (; _ChkFirst != _ChkLast; ++_ChkFirst)
		_Func(*_ChkFirst);
	return (_Func);
	}

можно исправить

_Func(*_ChkFirst); на (*_Func)(*_ChkFirst);

перегрузить еще одну операцию в функторе

class type{
	... buff[VERY_BIG_SIZE];
public:
	type& operator*(){return *this;}
	void operator()(... e){}
};

и можно передавать и по значению и по указателю эффективней ?

template<class _InIt,
	class _Fn1> inline
	_Fn1 for_each(_InIt _First, _InIt _Last, _Fn1 _Func)
	{	// perform function for each element
	for (; _ChkFirst != _ChkLast; ++_ChkFirst)
		(*_Func)(*_ChkFirst);
	return (_Func);
	}

например

type obj; for_each(..., ..., &obj);
          for_each(..., ...., obj);

Ссылка

←	Как создать патчдля ядра?

tcl/tk-lor-faq

→

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

osox
(31.10.10 02:49:12 MSK) автор топика

Ответ на: комментарий от osox 31.10.10 02:49:12 MSK

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

читай внимательно

jtootf ★★★★★
(31.10.10 05:05:21 MSK)

Ссылка

Ответ на: комментарий от osox 31.10.10 02:49:12 MSK

>компилятор эффективней код начинает генерить в релизе с включенной оптимизацией разница есть не копируется в стек каждый раз копия объекта интересно почему не сделали по указателю изначально главное при этом остается возможность передачи по значению

Ты в жизни тоже так разговариваешь?

anonymous
(31.10.10 06:20:19 MSK)

Ответ на: комментарий от osox 31.10.10 02:49:12 MSK

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

быдлокодеры, ять вашу

~~doctorch~~
(31.10.10 08:42:48 MSK)

Ссылка

Ответ на: комментарий от anonymous 31.10.10 06:20:19 MSK

он в жизни мычит и бьётся головой о стену ритмично

~~doctorch~~
(31.10.10 08:43:38 MSK)

Ссылка

Сделай бенчмарки, посмотрим.

yoghurt ★★★★★
(31.10.10 09:05:25 MSK)

Ссылка

Ответ на: комментарий от anonymous 31.10.10 06:20:19 MSK

> Ты в жизни тоже так разговариваешь?

его не существует в жизни, это спам-бот

korvin_ ★★★★★
(31.10.10 09:09:05 MSK)

Ответ на: комментарий от korvin_ 31.10.10 09:09:05 MSK

>это спам-бот

причём психически неуравновешенный

~~doctorch~~
(31.10.10 09:10:01 MSK)

Ссылка

http://www.sgi.com/tech/stl/for_each.html

a function object may have local state

anonymous
(31.10.10 11:14:11 MSK)

Ссылка

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

вот какой он у меня:

template<typename _InputIterator, typename _Function>
    _Function
    for_each(_InputIterator __first, _InputIterator __last, _Function  __f)
    {
      // concept requirements
      __glibcxx_function_requires(_InputIteratorConcept<_InputIterator>)
      __glibcxx_requires_valid_range(__first, __last);
      for (; __first != __last; ++__first)
        __f(*__first);
      return __f;
    }

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

действительно нужно замерить скорость; предлагаю

array int[M*N];
for(int i=0; i<M*N; i++)
  array[i][0]=i;

SumFunctor s;
for(int i=0; i<M*N; i+=N) 
  s=for_each(array[i], array[i+N], s);

g++ test.cxx -DM=1000000 -DN=1

сравнить с

g++ test.cxx -DM=1 -DN=1000000

www_linux_org_ru ★★★★★
(31.10.10 19:15:19 MSK)

Ответ на: комментарий от www_linux_org_ru 31.10.10 19:15:19 MSK

епрст, массив вначале у меня был двумерный

array int[M*N];
for(int i=0; i<M*N; i++)
  array[i]=i;

SumFunctor s;
for(int i=0; i<M*N; i+=N) 
  s=for_each(array+i, array+i+N, s);

www_linux_org_ru ★★★★★
(31.10.10 19:19:12 MSK)

Ответ на: комментарий от www_linux_org_ru 31.10.10 19:19:12 MSK

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

	std::for_each(v.begin(), v.end(), &vg);
00401D10 8D 45 D8         lea         eax,[v] 
00401D13 50               push        eax  
00401D14 FF 75 E8         push        dword ptr [ebp-18h] 
00401D17 8D 4D F8         lea         ecx,[ebp-8] 
00401D1A E8 32 F7 FF FF   call        std::_Vector_const_iterator<int,std::allocator<int> >::_Vector_const_iterator<int,std::allocator<int> > (401451h) 
00401D1F 8D 45 D8         lea         eax,[v] 
00401D22 50               push        eax  
00401D23 FF 75 E4         push        dword ptr [ebp-1Ch] 
00401D26 8D 4D F0         lea         ecx,[ebp-10h] 
00401D29 E8 23 F7 FF FF   call        std::_Vector_const_iterator<int,std::allocator<int> >::_Vector_const_iterator<int,std::allocator<int> > (401451h) 
00401D2E 68 E0 FF 40 00   push        offset vg (40FFE0h) 
00401D33 FF 75 FC         push        dword ptr [ebp-4] 
00401D36 FF 75 F8         push        dword ptr [ebp-8] 
00401D39 FF 75 F4         push        dword ptr [ebp-0Ch] 
00401D3C FF 75 F0         push        dword ptr [ebp-10h] 
00401D3F E8 50 F9 FF FF   call        std::for_each<std::_Vector_iterator<int,std::allocator<int> >,type *> (401694h) 
00401D44 83 C4 14         add         esp,14h 
///////////////////////////////////////////////////////////////////

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

	std::for_each(v.begin(), v.end(), vg);
00401D1D 8D 45 D8         lea         eax,[v] 
00401D20 50               push        eax  
00401D21 FF 75 E8         push        dword ptr [ebp-18h] 
00401D24 8D 4D F8         lea         ecx,[ebp-8] 
00401D27 E8 10 F7 FF FF   call        std::_Vector_const_iterator<int,std::allocator<int> >::_Vector_const_iterator<int,std::allocator<int> > (40143Ch) 
00401D2C 8D 45 D8         lea         eax,[v] 
00401D2F 50               push        eax  
00401D30 FF 75 E4         push        dword ptr [ebp-1Ch] 
00401D33 8D 4D F0         lea         ecx,[ebp-10h] 
00401D36 E8 01 F7 FF FF   call        std::_Vector_const_iterator<int,std::allocator<int> >::_Vector_const_iterator<int,std::allocator<int> > (40143Ch) 
00401D3B B8 5C 65 03 00   mov         eax,3655Ch 
00401D40 E8 8B 0E 00 00   call        _chkstk (402BD0h) 
00401D45 8B FC            mov         edi,esp 
00401D47 FF 75 FC         push        dword ptr [ebp-4] 
00401D4A B9 56 D9 00 00   mov         ecx,0D956h 
00401D4F FF 75 F8         push        dword ptr [ebp-8] 
00401D52 BE 00 00 41 00   mov         esi,offset vg (410000h) 
00401D57 FF 75 F4         push        dword ptr [ebp-0Ch] 
00401D5A F3 A5            rep movs    dword ptr es:[edi],dword ptr [esi] 
00401D5C FF 75 F0         push        dword ptr [ebp-10h] 
00401D5F 66 A5            movs        word ptr es:[edi],word ptr [esi] 
00401D61 8D 85 7D 9A FC FF lea         eax,[ebp-36583h] 
00401D67 50               push        eax  
00401D68 A4               movs        byte ptr es:[edi],byte ptr [esi] 
00401D69 E8 11 F9 FF FF   call        std::for_each<std::_Vector_iterator<int,std::allocator<int> >,type> (40167Fh) 
00401D6E 81 C4 70 65 03 00 add         esp,36570h 
/////////////////////////////////////////////////////////////////////////////

osox
(01.11.10 00:59:59 MSK) автор топика

Ссылка

Ответ на: комментарий от www_linux_org_ru 31.10.10 19:19:12 MSK

надо было так сделать

type obj;
for_each<..., type&>(..., ..., obj);

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

type obj;
type &r = obj;
for_each(..., ..., r);

osox
(01.11.10 01:29:30 MSK) автор топика

Ссылка

Ответ на: комментарий от www_linux_org_ru 31.10.10 19:19:12 MSK

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

osox
(01.11.10 01:46:34 MSK) автор топика