c++ 模板特殊化问题

[timond]

在c++特殊化的时候遇到的问题下面的这个代码是可以编译通过的但是不太理解,这个是用的c++什么特性？

template<bool B>
class A{
public:
  void fun()
  {
    cout<<"Base Test"<<endl;
  }
};

template<>
void A<true>::fun()
{
  cout<<"Special Test"<<endl;
}

为什么下面的这个代码却编译不过呢？

template<typename T, bool B>
class A{
public:
  void fun()
  {
    cout<<"Base Test"<<endl;
  }
};

template<typename T>
void A<T,true>::fun()
{
  cout<<"Special Test"<<endl;
}

[feihuadao]

引用 4 楼 timond 的回复:

[quote=引用 1 楼 feihuadao 的回复:] 两个看起来都是非类型形参的实例化，不是特化。 模板特化只针对类型，第二个走特化的路子，搞错了对象。 个人理解。

这个不是局部模板特殊化么？[/quote] 汗一个，看到7楼明白了。第一个是全特化，类，成员函数，一般函数都支持全特化， 第二个是偏特化，只有类支持偏特化。

[ri_aje]

标准规定的，特化模板类成员函数必须特化模板类本身才行，只偏特化不行。

[timond]

引用 13 楼 ri_aje 的回复:

标准规定的，特化模板类成员函数必须特化模板类本身才行，只偏特化不行。

你是说模板类 还是类模板？

[timond]

引用 10 楼 akirya 的回复:

[quote=引用 8 楼 timond 的回复:] [quote=引用 7 楼 akirya 的回复:]

template<typename T>
class A<T,true>
{
public:
    void fun()
    {
        cout << "Special Test" << endl;
    }
};

这样我知道可以的 但是为什么不能局部特殊化呢？[/quote] 函数不支持.[/quote] 为什么第一种方法支持呢， 第一种是不是局部特化？

[ri_aje]

引用 14 楼 timond 的回复:

[quote=引用 13 楼 ri_aje 的回复:] 标准规定的，特化模板类成员函数必须特化模板类本身才行，只偏特化不行。

你是说模板类 还是类模板？[/quote] 说的是类模板，class template。不存在模板类，刚才用词错了。

[feihuadao]

两个看起来都是非类型形参的实例化，不是特化。 模板特化只针对类型，第二个走特化的路子，搞错了对象。 个人理解。

[sduxiaoxiang]

没有这么写的吧A<T,true> 第一个bool除了false就是true，还不如直接写两个类算了

[timond]

引用 2 楼 sduxiaoxiang 的回复:

没有这么写的吧A<T,true> 第一个bool除了false就是true，还不如直接写两个类算了

我选的比较特殊化 bool 如果是这样呢 template <class elemType, int size> class Buffer { ... }; // 类模板 Buffer 的局部特殊化 template <class elemType> class Buffer<elemType,1024> { };

[timond]

引用 1 楼 feihuadao 的回复:

两个看起来都是非类型形参的实例化，不是特化。 模板特化只针对类型，第二个走特化的路子，搞错了对象。 个人理解。

这个不是局部模板特殊化么？

[AndyStevens]

这个template<> 表示全局成员特化，C++规定：类模板的成员函数和普通静态成员变量可以被全局特化，实现这种特化的语法要求给每个外围类模板加上template<> 。

[AndyStevens]

引用 5 楼 Automation_dmu 的回复:

这个template<> 表示全局成员特化，C++规定：类模板的成员函数和普通静态成员变量可以被全局特化，实现这种特化的语法要求给每个外围类模板加上template<> 。

§ 14.7 3. An explicit specialization may be declared for a function template, a class template, a member of a class template or a member template. An explicit specialization declaration is introduced by template<>. In an explicit specialization declaration for a class template, a member of a class template or a class member template, the name of the class that is explicitly specialized shall be a simple-template-id. In the explicit specialization declaration for a function template or a member function template, the name of the function or member function explicitly specialized may be a template-id.

[珍惜生命远离CPP]

template<typename T>
class A<T,true>
{
public:
    void fun()
    {
        cout << "Special Test" << endl;
    }
};

[timond]

引用 7 楼 akirya 的回复:

template<typename T>
class A<T,true>
{
public:
    void fun()
    {
        cout << "Special Test" << endl;
    }
};

这样我知道可以的 但是为什么不能局部特殊化呢？

[timond]

引用 8 楼 timond 的回复:

[quote=引用 7 楼 akirya 的回复:]

template<typename T>
class A<T,true>
{
public:
    void fun()
    {
        cout << "Special Test" << endl;
    }
};

这样我知道可以的 但是为什么不能局部特殊化呢？[/quote] 就是不写类名 直接写特化的函数 为什么不可以呢

[珍惜生命远离CPP]

引用 8 楼 timond 的回复:

[quote=引用 7 楼 akirya 的回复:]

template<typename T>
class A<T,true>
{
public:
    void fun()
    {
        cout << "Special Test" << endl;
    }
};

这样我知道可以的 但是为什么不能局部特殊化呢？[/quote] 函数不支持.

[timond]

引用 10 楼 akirya 的回复:

[quote=引用 8 楼 timond 的回复:] [quote=引用 7 楼 akirya 的回复:]

template<typename T>
class A<T,true>
{
public:
    void fun()
    {
        cout << "Special Test" << endl;
    }
};

这样我知道可以的 但是为什么不能局部特殊化呢？[/quote] 函数不支持.[/quote] 知道了 谢谢你 哪里有这方面的资料