将 void* 转换为模板类型时不知道模板参数类型

Question

我正在使用 pthreads 库，当我创建线程时，我给它一个指向模板类型对象的指针。

我对模板缺乏经验（今天刚刚阅读了它们），需要将 pthread 运行的方法声明中的 void* 参数转换为模板化类型，以便我可以访问其成员。简而言之，看起来像这样：

简而言之，像这样：

template <typename T>
class A {
    ...
    ...
    ...
    void aMember() { ... }
};

int main() {
    A<int> a;

    pthread_create(..., ..., &run, &a);

    ...
    ...
    ...
}

void *run(void *arg) {
    (A*)arg->aMember()
}

我的问题是我遇到了所有这些错误，我不知道如何纠正。事实上我确实理解这些错误，但不知道解决方案。以下是错误：

错误：预期的主表达式之前（令牌 错误：* 标记之前缺少模板参数 错误：在 ) 标记之前需要主表达式 错误：在“info”之前预期有“)”

我只是不明白当我在线程中一次转换为 A 时，如何知道 A 的参数类型？

我正在使用《C++ 模板：完整指南》一书作为参考/学习资源，并且必须说我对完全理解模板所需的所有信息感到不知所措。我想知道是否有人能解决该问题，或者可以为我指出另一个可能提供答案的资源的方向。

一如既往，我非常感谢您的帮助。

编辑/更新

似乎为我的问题添加上下文可能会有所帮助。或者，也许有人可以使用不同的设计提供不同的解决方案。

我使用 libcurl 发出 HTTP 请求，并根据收到的响应创建特定类型的对象（即模板）。我为每个想要发出的请求创建一个新线程，以便一切都异步运行。

Answer 1

template<typename T>
void *run(void *arg) {
    static_cast<A<T>*>(arg)->aMember();
}

int main() {
    A<int> a;

    pthread_create(..., ..., &run<int>, &a);

    ...
    ...
    ...
}

就像您的原始代码片段一样，这确实依赖于 extern“C++”调用约定，以与您的 pthread 库使用的相同。我不确定 POSIX 是否有任何要求这些相同，但如果它们不同，你就不走运了，因为你不能给函数模板 C 语言链接。

Answer 2

类模板不是类，它们在给定模板参数时生成类。同样，在提供饼干面团之前，您无法用饼干切割机制作饼干。转换为 A 是没有意义的。

很难说正确的解决方案是什么，因为你还没有说出你的意思尝试完成您正在采取的步骤。如果 run 只适用于一种类型，那么您就知道模板参数将始终相同；你可以这样做：

void *run(void *arg) {
    A<int>* a = static_cast<A<int>*>(arg);
    a->aMember();
}

如果 run 可以对不同的 A 实例进行操作，并且不需要担心其他实例，那么 run 本身就可以是一个模板

template <typename T>
void *run(void *arg) {
    A<T>* a = static_cast<A<T>*>(arg);
    a->aMember();
}

pthread_create(..., ..., &run<int>, &a);

： run需要对任何类型统一操作，这是不可能的。但是，您可以分解常见的与类型无关的接口，并引用非模板基础：

class ABase {
public:
    // functionality present regardless of template argument
    virtual void aMember() = 0;

    // polymorphic bases should always have virtual destructors
    virtual ~ABase() {}
};

template <typename T>
class A : public ABase {
public:
    void aMember() { /* use type information */ }
};

void *run(void *arg) {
    ABase* a = static_cast<ABase*>(arg);
    a->aMember(); // dynamic dispatch
}