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.

Quote:

---

Originally Posted by cunnus88

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) {;}

---

---

Looks correct to me.

Wow. A hunch I had is actually right. But that syntax is pretty funky. I mean

Code:

---

template<> template<>

---

Really?

Quote:

---

Originally Posted by cunnus88

Wow. A hunch I had is actually right. But that syntax is pretty funky. I mean

Code:

---

template<> template<>

---

Really?

---

Yep. The multiple template specs nest outward-inward, so the first template<> is specializing on T, the second on K

Quote:

---

Originally Posted by brewbuck

Yep. The multiple template specs nest outward-inward, so the first template<> is specializing on T, the second on K

---

So if I want to partially specialize it just for K, then it would be

Code:

---

template<typename T> template<>
typename void A<T>::foo(double)(){}

---

Is that correct?

Quote:

---

Originally Posted by cunnus88

So if I want to partially specialize it just for K, then it would be

Code:

---

template<typename T> template<>
typename void A<T>::foo(double)(){}

---

Is that correct?

---

Should be.