c++ - 专门化内部类的实现

Question

我正在尝试专攻 Outer<P>::Inner在类型上 P如下所示，它似乎可以工作(在 gcc 4.5.3 和 Visual Studio 2008 上)，直到成员变量 Inner i在 Outer<P> 中声明.有没有办法申报Inner i没有专业Outer<P> ？

#include <cstdlib>
#include <iostream>

template<typename T>
struct Outer
{
    Outer()
    {
        Inner();
    }

    struct Inner;   
    //Inner i;      // compilation error
};

template<>
struct Outer<bool>::Inner
{
    Inner()
    {
        std::cout << "Specialization ..." << std::endl;
    }
};

template<typename T>
struct Outer<T>::Inner
{
    Inner()
    {
        std::cout << "Generic version ..." << std::endl;
    }
};

int main()
{
    Outer<char> o2;
    Outer<bool> o1;
    return EXIT_SUCCESS;
}

Answer 1

特化必须在 namespace 级别完成。因此，最简单的方法是在命名空间级别声明 Inner:

template <typename T>
struct Outer_Inner
{
  Outer_Inner()
  {
    std::cout << "Generic version ..." << std::endl;
  }
};

template <>
struct Outer_Inner<bool>
{
  Outer_Inner()
  {
    std::cout << "Specialization ..." << std::endl;
  }
};


template<typename T>
struct Outer
{
  Outer() : i()
  {
  }

  Outer_Inner<T> i;      // no error anymore
};

在 C++11 中，有一种变通方法可以在类中定义所有内容，但我不推荐这样做。

template<typename T>
struct Outer
{
  Outer() : i()
  {
  }

  struct generic_inner
  {
    generic_inner()
    {
      std::cout << "Generic version ..." << std::endl;
    }
  };

  struct special_inner
  {
    special_inner()
    {
      std::cout << "Specialization ..." << std::endl;
    }
  };

  typename std::conditional<std::is_same<T, bool>::value,
                            special_inner, generic_inner>::type i;
};