您正在尝试对成员函数模板进行部分专门化。恐怕这是不可能的。。。

您的代码有两个问题。首先,第二种专门化是非法的,因为

template<> // parameters useable for the specialization of A you refer to
           // since it is a function, no partial specialization is allowed.
template<typename S> // parameters for the function's parameters
void A<B2<S>>          // S can not be used here!
             ::f(S x)  // only here
{
}

如果我把它改成

template<>
template<typename S>
void A<B2<int>>::f(S x)
{
}

它起作用了,现在暴露出第二个问题:

second.f<B2<int>>(5);

这套 S 到 B2<int> 函数需要一个参数 S x -但是整数 5 无法转换为该类型。将其更改为:

B2<int> x;
second.f<B2<int>>(x);

它也同样有效。

请注意,这可能无法解决您试图解决的问题,它只是解释了会发生什么。

想想你的编辑:我认为你试图专注于 T=std::tuple<...> 已经指明了方向: T 是的模板参数 A 和 那个 这是你应该擅长的。也许是这样的:

template< typename T >
class F // used to implement f(), so you can specialize
        // just F/f() instead of the whole class A
{
  void f(T x) { /* default impl */ }
};

template< typename T1, typename T2 >
class F< std::tuple< T1, T2 > >
{
  void f(T1 x, T2 y) { /* special impl */ }
};

template< typename T >
class A : public F< T >
{
    // ...other stuff...
};

如果要将另一个模板传递给某个模板,则必须使用 template template parameters ,所以你的A<>模板如下所示:

template<typename T>
class A
{
public:
    template<template <typename> class H, typename S>
    void f(H<S> x);
};

现在,您可以将模板传递给您的模板。

如果您的原始模板没有采用这样的参数类型,我认为您不能专门处理模板模板参数。