поясните кто-нибудь, почему так?


спасибо.

boostcoder, необходим целый тип.

я про это уже в гугле вычитал. интересно почему нельзя double, с теоретической т.з. ? и как это ограничение можно преодолеть?

фактически никак.. так как запрещено стандартом..


Это сообщение отредактировал(а) mes - 9.1.2011, 02:10

Видимо, это связано с возможностью рекурсии в шаблонах, а точнее, с требованием остановки. Если параметризировать шаблон целым (знаковым, беззнаковым), то, задав начальную специализацию, можно инкрементом/декрементом? как минимальным шагом,  добраться из неё до конечной (как, например, факториал в compile-time считают). А вот в случае того-же double минимальный шаг может быть... очень минимальным.  Видимо из-за этой неопределённости и выпилили специализацию типами с плавающей точкой.
Всё вышенаписанное является лишь моим частным мнением, и может не совпадать с реальностью.