c++ - 避免模​​板特化中的函数定义重复

Question

Widget 类有一些适用于所有参数类型的函数(普通函数)和其他需要专门针对给定类型的函数(非普通函数)。

g++ 坚持 Widget 的特化也应该定义 common_fn() 而不仅仅是 uncommon_fn()，但这首先违背了使用特化的目的。如何避免重复 common_fn()？

#include <cassert>

template<typename Type> struct Widget
{
    Widget() {}
    char common_fn() { return 'a'; }
    int uncommon_fn() { return 1; }
};

template<> struct Widget<char>
{
    Widget() {}
    int uncommon_fn() { return 2; }
};

int main()
{
    Widget<char> WidgetChar;
    assert( WidgetChar.common_fn() == 'a' ); // Error
    assert( WidgetChar.uncommon_fn() == 2 );
}

开始编辑

致阿尔夫:

我无法使用

template<> int Widget<char>::uncommon_fn() { return 2; }

因为一些不常见的函数需要返回特征类型(因此通过将实际类型设为原语来简化是过度的)。

或者实际上有没有办法让编译器在编写时识别typename Foo::Bar

struct Foo { typedef FooBar Bar; };
template<> typename Foo::Bar Widget<Foo>::uncommon_fn() { return ....; }

?

结束编辑

开始编辑2

致 iammilind:

这很有趣，但出于同样的原因，我无法使用 Widget 的派生(或者可能更清晰的将公共(public)部分重构到父类 GeneralWidget 的解决方案)。公共(public)部分并不完全公共(public)。它们的声明和定义看起来相同，但因为它们使用特征，所以它们最终完全不同。

end-edit2

Answer 1

#include <assert.h>

template<typename Type> struct Widget
{
    Widget() {}
    char common_fn() { return 'a'; }
    int uncommon_fn() { return 1; }
};

template<>
int Widget<char>::uncommon_fn() { return 2; }

int main()
{
    Widget<char> WidgetChar;
    assert( WidgetChar.common_fn() == 'a' ); // OK
    assert( WidgetChar.uncommon_fn() == 2 );
}