Сделать рекурсивную функцию, которую компилятор сможет развернуть

[Антон__]

Всем привет!
Вот такое задание :
Сделайте рекурсивную функцию, которую компилятор сможет развернуть. Обратите внимание, что вам необходимо проверить, что компилятор ее-таки развернул.

Мои наброски:
1.

Код:

template <int size>
__forceinline void inv(double d[])
{
	d[size] = -d[size];
	inv<size-1>(d);
}

template <>
__forceinline void inv<0>(double d[])
{
	d[0] = -d[0];
}

2.

Код:

__forceinline int fact(int n)
{
	if(n == 1)
		return 1;
	return n * fact(n-1);
}

Но по-моему компилятор их не разворачивает.
Так как в дисассемблере написано:
   inv<5>(d);
00F41584  lea         eax,[d]
00F41587  push        eax 
00F41588  call        inv<5> (0F41064h)
00F4158D  add         esp,4

   int f = fact(10);
00F4154E  push        0Ah 
00F41550  call        fact (0F41037h)
00F41555  add         esp,4
00F41558  mov         dword ptr [f],eax

Хоть я и не знаю ассемблера, но это явно вызов функции.
Еще пробовал

Код:

#pragma inline_recursion(on)
#pragma inline_depth(15)

Но эффект тот же.

p.s. MS visual studio 2008

[Sla]

Антон__, компилятор развернуть рекурсивную функцию?
может речь идеть о макросах

зы в С я 0

[Антон__]

Как я понял, всё-таки функцию.

[Антон (LogRus)]

а если так?

Код:

template<size_t n>
size_t fact()
{
    return n * fact<n - 1>();
}

template<>
size_t fact<1>()
{
    return 1;
}

int main()
{
    std::cout << fact<10>();
    return 0;
}

[Антон__]

LogRus, в дисассемблере то же самое.
Можно как-нибудь посмотреть изменённый компилятором код?

[Антон (LogRus)]

Антон__, а режим сборки? Дебаг? Релиз? Может опции оптимизации выключены.

[Антон__]

Поставил релиз... теперь компилятор считает факториал на этапе компиляции)))
А вот с моей функцией вообще какая-то фигня:
   inv<5>(d);
01001035  fld         qword ptr [esp+38h]
И что это может значить?

[Антон (LogRus)]

Поставил релиз... теперь компилятор считает факториал на этапе компиляции)))

Ну а ты не этого хотел?

А вот с моей функцией вообще какая-то фигня:
   inv<5>(d);
01001035  fld         qword ptr [esp+38h]
И что это может значить?

кажется это загрузка числа в мат сопроцессор

[Антон__]

Ну а ты не этого хотел?

Ну это уже другое задание

Как я понял, цель задания - развернуть функцию.
Чтобы inv<5>(d)
Стало
d[0] = -d[0]
d[1] = -d[1]
d[2] = -d[2]
d[3] = -d[3]
d[4] = -d[4]

[Антон (LogRus)]

попробуй первоначальный вариант 2
но в релизе собрать, но насколько я помню рекурсивные функции не инлайнятся и замени параметры с double на size_t

[Антон__]

но насколько я помню рекурсивные функции не инлайнятся

Прочитал в msdn,  для этого надо:
#pragma inline_recursion(on)   //причем действует только на следующую за ней функцию
#pragma inline_depth(10)   

попробуй первоначальный вариант 2

Его на этапе компиляции считает

и замени параметры с double на size_t

А какая разница, это же unsigned int?

Переделал немного, теперь заработало.
В дисассемблере теперь много такого кода:
...
fstp        qword ptr [esp+330h]
fld         qword ptr [esp+328h]
fchs       
...    
fchs, neg - это я так понимаю negative и float change sign.
А вот и код:

Код:

#include <iostream>
using namespace std;

#define NUM 100
#define type1 int
#define type2 double

#pragma inline_recursion(on)
#pragma inline_depth(NUM*2)

template <type1 size>
inline void inv(type2 d[])
{
	d[size-1] = -d[size-1];
	inv<size-1>(d);
}

template <>
inline void inv<1>(type2 d[])
{
	d[0] = -d[0];
}


int main()
{
	int i = 0;
	cin >> i;
	srand(i);

	type2 d[NUM];
	for(int i=0;i<NUM;i++)
		d[i] = rand();

	inv<NUM>(d);
	for(int i=0;i<NUM;i++)
		cout << d[i] << "\n";
    return 0;
}

LogRus, спасибо за помощь

[Антон__]

А какая разница между
 - typedef T2 T1;
 - #define T1 T2
 - typedef struct T2
   {
   ...
   } T1

[McZim]

Антон__, а какая вообще разница между typedef и define?

[Антон__]

Антон__, а какая вообще разница между typedef и define?

А при чём тут это?

[Алексей++]

typedef создаёт синоним типа, этот синоним ведёт себя при компиляции точно так же, как его родитель

#define делает макроподстановку, и что получится при компиляции иногда оказывается сюрпризом, если не умеешь пользоваться дефайном )

[Антон (LogRus)]

и замени параметры с double на size_t

А какая разница, это же unsigned int?

в большинстве  случаев никакой, но мне он больше нравится

[RXL]

Антон__, чтобы лучше понимать, почитай статьи Михалыча:
https://club.shelek.ru/viewart.php?id=269
https://club.shelek.ru/viewart.php?id=270