Thread: How do you specialize a template function in a template?

Say you have:

Code:

template <typename T>
class A {
   template <typename K>
   void foo(T, K);
};

Let's say I want to specialize "foo" for parameters <T = int, K = double>. What's the syntax for doing this?

Code:

template<> template<>
void A<int>::foo<double>(int i, double d) {;}

Would this work? It's just a problem that came to me while I was walking around, so I'm typing this from a public computer. I don't have a compiler to try it out.