当前位置：文江博客话题详情

确定类是否实现了operator()的任何方法

发布于 2024-09-06 22:47:08 字数 115 浏览 4 评论 0原文

我试图找到是否有一种方法可以检查一个类是否是函数式的，因为我想编写一个使用它的模板？

有没有简单的方法可以做到这一点？或者我只是将东西包装在 try/catch 中？或者也许编译器甚至不会让我这样做？

原文

分享到QQ

分享到微博

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

发布评论

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

违心° 2024-09-13 22:47:08

如果您有一个函数模板，如下所示：

template <typename T>
void f(T x)
{  
    x();  
}

您将无法使用任何不可作为不带参数的函数调用的类型实例化它（例如，重载不带参数的 operator() 的类类型可作为不带参数的函数调用）。如果您尝试这样做，您会收到编译错误。

这是要求实例化模板的类型具有某些属性的最简单方法：编写模板时只需依赖具有这些属性的类型，如果该类型不具有所需属性之一，它将不可能用该类型实例化模板。

If you have a function template written like:

template <typename T>
void f(T x)
{  
    x();  
}

you will be unable to instantiate it with any type that is not callable as a function taking no arguments (e.g., a class type that overloads operator() taking no arguments is callable as a function that takes no arguments). You would get a compilation error if you tried to do so.

This is the simplest way to require the type with which a template is instantiated to have certain properties: just rely on the type having those properties when you write the template, and if the type doesn't have one of the required properties, it will be impossible to instantiate the template with that type.

回复收藏 0 原文

_畞蕅 2024-09-13 22:47:08

参数类型可以通过多种方式应用于调用语法

Type 是对函数类型的指针或引用，或者
Type是一个类类型，具有到1.中类型之一的转换函数，或者具有适用的operator() 。

当前的 C++ 无法检查 2.，因此您无需检查，就像其他答案所解释的那样。

回复收藏 0 原文

離人涙 2024-09-13 22:47:08

这将属于执行此操作并出现编译错误的情况。编译代码时，模板函数或模板类会针对所使用的类型进行扩展，就好像该模板代码有重复副本一样，每种类型都有一个副本。

因此，您基本上可以做任何事情，只要模板使用的所有类型都支持它，就没有问题。如果他们不支持它，您就会遇到编译错误，并且在不修复它的情况下无法运行代码。

template <typename T>
void DoIt(T a)
{
    a.helloworld();//This will compile fine
    return a();//This will cause a compiling error if T is B
}

class A
{
public:
    void a.helloworld(){}
    void operator()(){}
};

class B
{
public:
    void a.helloworld(){}
};

int main(int argc, char**argv)
{
    A a;
    B b;
    DoIt(a);
    DoIt(b);//Compiling error

    return 0;
}

This would fall under doing it and getting a compiling error. When the code is compiled the template function or template classes are are expanded for the types used as if there were duplicate copies of that template code, one for each type.

So you can basically do whatever and as long as all the types used for your templates support it you have no problem. If they don't support it you have a compiling error and you can't run your code without fixing it.

template <typename T>
void DoIt(T a)
{
    a.helloworld();//This will compile fine
    return a();//This will cause a compiling error if T is B
}

class A
{
public:
    void a.helloworld(){}
    void operator()(){}
};

class B
{
public:
    void a.helloworld(){}
};

int main(int argc, char**argv)
{
    A a;
    B b;
    DoIt(a);
    DoIt(b);//Compiling error

    return 0;
}

回复收藏 0 原文