Calculating and printing factorial at compile time in C++

by

The factorial can be printed in compiler-generated message as:

template<int x> struct _;
int main() {
        _<Factorial<10>::value> __;
        return 0;
}

Error message:

prog.cpp:14:32: error: aggregate ‘_<3628800> __’ has incomplete type and cannot be defined
_::value> __;
^

Here 3628800 is factorial of 10.

See it at ideone : http://ideone.com/094SJz

So are you looking for this?

EDIT:

Matthieu asked for a clever trick to both print the factorial AND let the compilation continue. Here is one attempt. It doesn’t give any error, hence the compilation succeeds with one warning.

template<int factorial> 
struct _{ operator char() { return factorial + 256; } }; //always overflow
int main() {
        char(_<Factorial<5>::value>());
        return 0;
}

It gets compiled with this warning:

main.cpp: In instantiation of ‘_::operator char() [with int
factorial = 120]’: main.cpp:16:39: required from here
main.cpp:13:48: warning: overflow in implicit constant conversion
[-Woverflow] struct _{ operator char() { return factorial + 256; } };
//always overflow

Here 120 is factorial of 5.

Demo at ideone : http://coliru.stacked-crooked.com/a/c4d703a670060545

You could just write a nice macro, and use it instead as:

#define PRINT_AS_WARNING(constant) char(_<constant>())    

int main() 
{
         PRINT_AS_WARNING(Factorial<5>::value);
         return 0;
}

That looks great.

More Related Contents:

  1. C++ Get name of type in template
  2. Optimization code for a debug function (c++11 with templates) [closed]
  3. Can someone explain this template code that gives me the size of an array? [duplicate]
  4. Two phase lookup – explanation needed
  5. How to detect whether there is a specific member variable in class?
  6. Why can’t I use float value as a template parameter?
  7. Why not infer template parameter from constructor?
  8. Explicit specialization in non-namespace scope [duplicate]
  9. Is is_constexpr possible in C++11?
  10. SFINAE to check for inherited member functions
  11. Determine if a type is an STL container at compile time
  12. C++ Static member initialization (template fun inside)
  13. Template Constraints C++
  14. Function signature-like expressions as C++ template arguments
  15. How to detect existence of a class using SFINAE?
  16. C++ template copy constructor on template class
  17. Template function as a template argument
  18. What does this variadic template code do?
  19. SFINAE works differently in cases of type and non-type template parameters
  20. Making a template parameter a friend?
  21. Can the point-of-instantiation be delayed until the end of the translation unit?
  22. How do I export templated classes from a dll without explicit specification?
  23. How to pass a template function in a template argument list
  24. c++ automatic factory registration of derived types
  25. Making a C++ class a Monitor (in the concurrent sense)
  26. Why the initializer of std::function has to be CopyConstructible?
  27. Interfacing C++11 array with Cython
  28. if / else at compile time in C++?
  29. Conditional compilation based on template values?
  30. How to test whether class B is derived from template family of classes

Leave a Comment