Здравствуйте, R.O. Prokopiev, Вы писали:

ROP>Как в в шаблоне можно использовать U?
Напрямую никак, его даже не обязательно писать:

template <template <typename> class T> class B
{
//...
};

ROP>MSVC++ 8 ругается при упоминании U.
Его можно использовать косвенно, через тип T, когда внутри T есть typedef на шаблонный аргумент:

template<typename T> struct Test {
    typedef typename T type;
};

template<template<typename> class T,typename V> struct Test2
{
    void foo()
    {
        T<V>::type a;
    }
};

int main()
{
    Test2<Test,int> b;
    b.foo();
    return 0;
}