gpt4 book ai didi

c++ - 如果使用默认模板,如何产生编译器错误?

转载 作者:行者123 更新时间:2023-11-27 23:44:28 25 4
gpt4 key购买 nike

使用模板特化,我编写了一系列具有相同名称和相同参数类型的函数,但返回模板参数指定类型的数据:

template<typename T> T     f          (int x); // Purposefully unimplemented.

template<> inline uint8_t f<uint8_t> (int x) { return f8 [x]; }
template<> inline uint16_t f<uint16_t>(int x) { return f16 [x]; }
template<> inline uint32_t f<uint32_t>(int x) { return f32 [x]; }
template<> inline uint64_t f<uint64_t>(int x) { return f64 [x]; }

然后我可以写这样的代码:

uint32_t a = f<uint32_t>(3);
uint64_t b = f<uint64_t>(7);

如果有人试图将 f 的一个版本用于我为其定义的专用类型之外的任何其他内容,我故意未实现默认模板以产生链接器错误。

我有两个问题:

1) 如果有人试图使用比我现在得到的是:对 `int f(int)' 的 undefined reference

2) 有没有什么方法可以使用模板来做到这一点,该模板对程序员保持相同的接口(interface),但不需要模板专门化? (即,是否有某种方法可以完全避免使用默认模板?)

最佳答案

namespace fimpl{
template<class T>struct tag_t{};
template<class T>
void fimpl(tag_t<T>, int x)=delete;
}

template<typename T> T f (int x){ using fimpl::fimpl; return fimpl(fimpl::tag_t<T>{}, x); }

现在不要专精;覆盖。

namespace fimpl{ inline uint8_t  fimpl(tag_t<uint8_t>,  int x) { return f8  [x]; } }
namespace fimpl{ inline uint16_t fimpl(tag_t<uint16_t>, int x) { return f16 [x]; } }
namespace fimpl{ inline uint32_t fimpl(tag_t<uint32_t>, int x) { return f32 [x]; } }
namespace fimpl{ inline uint64_t fimpl(tag_t<uint64_t>, int x) { return f64 [x]; } }

这使用标签分派(dispatch)来选择覆盖而不是使用特化。

如果没有找到显式特化,=delete模板被选中,你会立即得到一个编译器错误。

有趣的是,如果你想用新类型扩展它,比如 namespace lib{ struct bigint; }你可以放一个fimpl(fimpl::tag_t<bigint>, int)过载 namespace lib它会起作用的。我怀疑您是否需要它。

您也可以取消 f作为模板,如果你对 f(tag<uint8_t>, 7) 没意见的话而不是 f<uint8_t>(7) .只需摆脱 fimpl命名空间(从中移出内容),重命名 fimpl::fimpl只是f , 删除 =delete ed模板函数,添加template<class T> constexpr tag_t<T> tag{}; .但是语法在调用点有点不同。

关于c++ - 如果使用默认模板,如何产生编译器错误?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/51765718/

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