значение факториала <T - 1> в определении шаблона - PullRequest
Новая
       12

значение факториала <T - 1> в определении шаблона

1 голос
/ 01 февраля 2012

Мне сложно понять, как работают следующие определение шаблона и определение специализации шаблона?Для меня factorial<34> или factorial<T-1> выглядят странно!

Например: 

factorial<T - 1>::value

означает что? 

#include <iostream>

template<int T>
struct factorial {
  enum { value = factorial<T - 1>::value * T };
};

template<>
struct factorial<1> {
  enum { value = 1 };
};

int main()
{
  std::cout << factorial<34>::value << std::endl;

}    

g++ -o testSTL01 testSTL01.cpp -Wall
testSTL01.cpp: In instantiation of ‘factorial<13>’:
testSTL01.cpp:5:3:   instantiated from ‘factorial<14>’
testSTL01.cpp:5:3:   instantiated from ‘factorial<15>’
testSTL01.cpp:5:3:   instantiated from ‘factorial<16>’
testSTL01.cpp:5:3:   instantiated from ‘factorial<17>’
testSTL01.cpp:5:3:   instantiated from ‘factorial<18>’
testSTL01.cpp:5:3:   [ skipping 11 instantiation contexts ]
testSTL01.cpp:5:3:   instantiated from ‘factorial<30>’
testSTL01.cpp:5:3:   instantiated from ‘factorial<31>’
testSTL01.cpp:5:3:   instantiated from ‘factorial<32>’
testSTL01.cpp:5:3:   instantiated from ‘factorial<33>’
testSTL01.cpp:5:3:   instantiated from ‘factorial<34>’
testSTL01.cpp:15:29:   instantiated from here
testSTL01.cpp:5:3: warning: integer overflow in expression
start to run the app ...

0

Ответы [ 2 ]

6 голосов
/ 01 февраля 2012

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

template<>
struct factorial<1> {
  enum { value = 1 };
};

Он говорит, что факториал 1 равен 1.

В другом шаблоне просто говорится, что факториал числа - это число, умноженное на факториал минус 1. 

template<int T>
struct factorial {
  enum { value = factorial<T - 1>::value * T };
};

Поскольку в классическом смысле «вызова» действительно не существует, шаблон создает экземпляр сам с аргументом шаблона, равным T-1, вычисляемому во время компиляции.

PS Предупреждение показывает, что факториал 34 переполняет 32-разрядное целое число.

5 голосов
/ 01 февраля 2012

Это на самом деле не вопрос, это утверждение.Аргументы шаблона не имеют типа быть типами, но они являются типами в подавляющем большинстве случаев, поэтому вы, возможно, раньше не видели аргументы шаблона нетипичного типа.

При этом factorial<1> использует специализацию (с value=1), а factorial<N> с N> 1 использует общий случай, который относится к factorial<N-1>.Это дает вам оценку факториала во время компиляции (потому что шаблоны рекурсивно расширяются).

Но знаете ли вы, насколько велик факториал из 34?Вы ожидаете, что это вписывается в целое число?(Ответы: 295232799039604140847618609643520000000 и нет).

...