如何强制模板从 BaseClassA 派生？

发布于 2024-10-17 07:56:20 字数 176 浏览 1 评论 0原文

是否有可能强制模板来自某个基类，以便我可以调用基类函数？

template <class T>
void SomeManager::Add(T)
{
    T->CallTsBaseClassFunction();
    //... do other stuff
}

原文

Is there any possibility to force a template to be from a certain base class so that I can call the base class function?

template <class T>
void SomeManager::Add(T)
{
    T->CallTsBaseClassFunction();
    //... do other stuff
}

分享到QQ

分享到微博

如果你对这篇内容有疑问，欢迎到本站社区发帖提问参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。

发布评论

需要登录才能够评论，你可以免费注册一个本站的账号。

丶情人眼里出诗心の 2024-10-24 07:56:20

当然，您可以将类型特征与 SFINAE 结合起来：

#include <type_traits>

template <class T>
typename std::enable_if<std::is_base_of<your_base_class, T>::value, void>::type
SomeManager::Add(T)
{
    T->CallTsBaseClassFunction();
    //... do other stuff
}

尽管我并没有真正看到这里的好处。

Sure, you can combine type traits with SFINAE:

#include <type_traits>

template <class T>
typename std::enable_if<std::is_base_of<your_base_class, T>::value, void>::type
SomeManager::Add(T)
{
    T->CallTsBaseClassFunction();
    //... do other stuff
}

Although I don't really see the benefit here.

回复收藏 0 原文

清眉祭 2024-10-24 07:56:20

值得一提的是，它可以使用 static_assert 在编译时以更具可读性的方式完成。大致如下：

class Base {};

template<class B>
class Template{
    static_assert(std::is_base_of<Base, B>::value, "B must derive from nmspc::Base");
}

即使 B 恰好是 Base，它也能工作。
如果 Base 本身就是一个模板类，它会变得更加复杂，但仍然可以完成，并且网上有大量资源。

Worth to mention that it can be done at compile time in a more readable fashion with static_assert. Something in the lines of:

class Base {};

template<class B>
class Template{
    static_assert(std::is_base_of<Base, B>::value, "B must derive from nmspc::Base");
}

It works even when B is exactly Base.
If Base is itself a templated class it becomes more complicated but it can still be done and there's plenty of resources online.

回复收藏 0 原文

腹黑女流氓 2024-10-24 07:56:20

最简单的解决方案是添加一段代码，仅在您期望的情况下才进行编译：

template <class T>
void SomeManager::Add(T t)
{
    assert((Base const*)&t); // T must inherit from Base to allow T*->Base* conversion.
    t.CallTsBaseClassFunction();
    //... do other stuff
}

The easiest solution is to add a snippet of code that compiles only if it's what you expected:

template <class T>
void SomeManager::Add(T t)
{
    assert((Base const*)&t); // T must inherit from Base to allow T*->Base* conversion.
    t.CallTsBaseClassFunction();
    //... do other stuff
}

回复收藏 0 原文

~没有更多了~