C++：部分特化的模板类型参数作为另一个模板类成员类型

Question

我有一个模板结构SFoo，其中包含一个成员结构SZug：

template <typename tTYPE>
struct SFoo
  {
    struct SZug {};
  };

我有另一个结构体SBar，它带有一个类型参数：

template <typename tTYPE>
struct SBar
  { /* stuff */ };

我想将SBar 专门用于类型参数，使用SZug，如下所示：

template <typename tTYPE>
struct SBar<typename SFoo<tTYPE>::SZug>
  { /* different stuff */ };

这无法编译 - LLVM 输出：

不可演绎的模板参数'tTYPE'

虽然编译器可以根据需要轻松推断出这一点，但我猜只是 C++ 规范需要专门涵盖这种情况。

有什么办法可以做到吗？
（注意：我目前正在通过将SZug 移出SFoo 并使用using 声明来解决它，但这很丑陋。）

Answer 1

我不确定我是否完全理解您想要做什么，但您可以尝试以下操作（只需要向SZug 添加特定属性：

template <typename tTYPE>
struct SFoo {
    struct SZug {
        // Add this to be able to obtain SFoo<T> from SFoo<T>::SZug
        using type = tTYPE;
    };
};

然后是一个小模板来检查一个类型是否为SFoo<T>::SZug：

template <typename tTYPE, typename Enabler = void>
struct is_SZug: public std::false_type { };

template <typename tTYPE>
struct is_SZug<tTYPE, typename std::enable_if<
  std::is_same<tTYPE, typename SFoo<typename tTYPE::type>::SZug>{}
>::type>: public std::true_type { };

如果类型是SZug，则对SBar 模板进行轻微修改以启用“专业化”：

template <typename tTYPE, typename Enabler = void>
struct SBar
  { static void g(); };

template <typename tTYPE>
struct SBar<tTYPE, typename std::enable_if<is_SZug<tTYPE>{}>::type>
  { static void f(); };

一点检查：

void f () {
  SBar<int>::g();
  SBar<SFoo<int>::SZug>::f();
}

注意：也可以直接将SFoo<T>设置为SFoo<T>::SZug中的type属性，只需稍微修改std::is_same的第二个参数即可。

Answer 2

您可以通过以下方式获得您正在查看的效果（打印出 0 1，顺便说一句）：

#include <type_traits>
#include <iostream>

namespace detail
{   
    struct SZugBase{};
}   

template <typename tTYPE>
struct SFoo                                                                                                                                
{   
    struct SZug : public detail::SZugBase {}; 
};  

template<typename tType, bool IsFoo>
struct SBarBase
{   
    int value = 0;
};  

template<typename tType>
struct SBarBase<tType, true>
{   
    int value = 1;
};  

template <typename tTYPE>
struct SBar : public SBarBase<tTYPE, std::is_convertible<tTYPE, detail::SZugBase>::value>
{ /* stuff */ };

int main()
{   
    SBar<int> b0; 
    SBar<SFoo<int>::SZug> b1; 

    std::cout << b0.value << " " << b1.value << std::endl;
}   

说明

首先，我们给SZug 一个普通类基：

namespace detail
{   
    struct SZugBase{};
}   

template <typename tTYPE>
struct SFoo                                               
{   
    struct SZug : public detail::SZugBase {}; 
};  

注意以下几点：

1. SZugBase没有被任何参数化，所以很容易独立于SFoo的参数来引用它

2. SZugBase 位于 detail 命名空间中，因此，按照常见的 C++ 约定，您是在告诉客户代码忽略它。

现在我们给SBar 两个基类，专门用于判断是否可以转换为SZug 的非模板基类：

template<typename tType, bool IsFoo>
struct SBarBase
{   
    int value = 0;
};  

template<typename tType>
struct SBarBase<tType, true>
{   
    int value = 1;
};  

最后，我们只需要将SBar 设为这些基础的子类（取决于专业化）：

template <typename tTYPE>
struct SBar : public SBarBase<tTYPE, std::is_convertible<tTYPE, detail::SZugBase>::value>
{ /* stuff */ };

请注意，您在这里没有专门化SBar，而是专门化了基类。不过，这有效地产生了相同的效果。