gpt4 book ai didi

c++ - 函数模板(它是类模板的成员)的显式特化会产生 "partial specialization is not allowed"错误,为什么?

转载 作者:搜寻专家 更新时间:2023-10-31 02:10:22 38 4
gpt4 key购买 nike

我正在研究 Visual Studio 2015 community edition

假设我有一个像这样的简单类:
(下面的示例“应该”是可编译的,因为它包含所有必要的东西,不幸的是,它会产生错误)。

#include <stdexcept>

template <typename T>
class class_foo
{
// members, methods, constructors. not important stuff...

// helper functions:
private:
class tag_aaa {}; // to resolve few things at compile-time, not run-time.
class tag_bbb {}; // - || -

template <typename tag>
void erase();

// for some reason this is not interpreted as an error by my compiler:
template<>
void erase<tag_aaa>();

template<>
void erase<tag_bbb>();
};

// catch-all-do-nothing "version"
// well, catch-all-throw-an-exception because call to this function is an obvious error.
// that should never occur.
template <typename T>
template <typename tag> inline
void class_foo<T>::erase()
{
throw std::runtime_error("Very weird error...");
}

template <>
template <typename T> inline
void class_foo<T>::erase<class_foo<T>::tag_aaa>()
{
// do some stuff...
}

template <>
template <typename T> inline
void class_foo<T>::erase<class_foo<T>::tag_bbb>()
{
// do some stuff...
}

int main()
{
class_foo<double> bar;

return 0;
}

错误:

1>D:/develop/workspace/visual_studio/nevada_test_site/source/workspace/nevada_test_site/start.cu(36): error : partial specialization of class "class_foo<T>::erase<class_foo<T>::tag_aaa> [with T=T]" is not allowed

1>D:/develop/workspace/visual_studio/nevada_test_site/source/workspace/nevada_test_site/start.cu(43): error : partial specialization of class "class_foo<T>::erase<class_foo<T>::tag_bbb> [with T=T]" is not allowed

1>D:/develop/workspace/visual_studio/nevada_test_site/source/workspace/nevada_test_site/start.cu(51): warning : variable "bar" was declared but never referenced

我认为自己是一名初级爱好者程序员,所以我当然错了,但我相信两者erase<class_foo<T>::tag_aaa>()erase<class_foo<T>::tag_bbb>()template <typename tag> void erase(); 的显式特化功能。因此,它们是被允许的。我相信这个错误是由于一些错误的语法造成的,但我找不到错误。

问题:

  • 我正在尝试做的事情是否被允许?
  • 如果是,我做错了什么?
  • 如果是,专门化此函数的正确语法是什么 (erase)?

最佳答案

它看起来像是模板函数的完全特化,但它仍然是部分特化,因此会出现编译错误。

这是为什么呢?好吧,看看这个专业:

template <>
template <typename T>
inline void class_foo<T>::erase<class_foo<T>::tag_bbb>() {
// do some stuff...
}

你说它是显式特化,但还有一个模板参数需要填充!还有参数 T 还不知道。那么专精……那还是模板?那是部分特化!

出于多种原因,函数的部分特化是不允许的。其中之一是它不能很好地处理重载。

为了有效地特化该函数,您必须不留下任何已知的模板参数,如下所示:

template<>
template<>
inline void class_foo<int>::erase<class_foo<int>::tag_bbb>() {
// do some stuff...
}

但这不是你想要的。


下面是我将如何解决这个问题。使用重载而不是专门化:

template<typename T>
struct class_foo {

private:
struct tag_aaa {};
struct tag_bbb {};

void erase(tag_aaa) {
// Stuff when tag_aaa
}

void erase(tag_bbb) {
// Stuff when tag_bbb
}
};

而不是像这样调用那些:

erase<tag_aaa>(); // with specialization

你必须这样调用它:

erase(tag_aaa{}); // with overloading

关于c++ - 函数模板(它是类模板的成员)的显式特化会产生 "partial specialization is not allowed"错误,为什么?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/45385137/

38 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com