Arkadiy Vertleyb writes:
One problem that I have with mpl::template_arity, though, is that it seems to be undocumented... And therefore probably an internal feature?
Yes, it's an implementation detail. Currently, at least.
As for your question however, the conceptual problem with template template parameters is that they can't be returned from meta-functions:
template<template<class> class T> class X { // I know T here, but how do I pass it outside???
typedef T<_> type; or typedef mpl::quote1<T> type;
};
Of course, they can be wrapped... I am wondering whether it would be possible to use this....
Depends on what you want to do with the result. One thing you can do for sure is to instantiate it with particular arguments. -- Aleksey Gurtovoy MetaCommunications Engineering