Important: This question is getting quite long, if this is the first time you're reading this I suggest you start near the bottom as the solution is there in a round about way, but the code is a bit smelly.

看完tutorial on templates ，我能够更改我现有的类以支持泛型类型。但是，许多对象已经依赖于此，因此我正在寻找一种使方法通用而不是整个类的方法。

我尝试了以下方法，但似乎不支持这种行为。

// foobar1.h
// Don't want the entire class to be generic.
//template<class T>
class FooBar1
{
public:
    template<class T> T Foo();
}

// foobar2.h
class FooBar2 : public FooBar1
{
}

// foobar1.cpp
template<class T>
T FooBar1::Foo()
{
    return something;
}

// test.cpp
FooBar1 fb1;
FooBar2 fb2 = fb1.Foo<FooBar2>();

这应该不起作用，还是其他地方的错误让我感到困惑？

undefined reference to FooBar2 Foo<FooBar2>()

为了从某种角度说明我想要实现的目标，以下是我在 C# 中的实现方式 ...

public class FooBar1
{
    public T Foo<T>()
        where T : FooBar1
    {
        return something;
    }
}

public class FooBar2 : FooBar1 { }

FooBar1 fb1 = new FooBar1();
FooBar2 fb2 = fb1.Foo<FooBar2>();

有什么方法可以做类似于 C++ 的事情吗？

更新 1:

只是更正了一些小的语法细节(我的意思是公开 Foo，并返回 T，而不是 FooBar2)。仍然出现编译器错误......当我删除模板行为时，错误消失了，到目前为止的答案说我正在做的是有效的......但如果是这样，那为什么我仍然收到错误？感谢您的回答!

更新 2:

Josh，这是实际的源代码(好吧，我认为相关的部分，无论如何 - 如果您认为我跳过了重要的一点，请告诉我)。

// ImageMatrix.h
class ImageMatrix : public VImage
{
public:
    // ... various functions ...
    template<class T> T GetRotatedCopy(VDouble angle);
}

// ImageFilter.h
class ImageFilter : public ImageMatrix
{
    // ... various functions ...
}

// ImageMatrix.cpp
template<class T>
T ImageMatrix::GetRotatedCopy(VDouble angle)
{
    // ... create a new instance of ImageMatrix and return it.
}

// ImageProcessor.cpp
ImageFilter filter2 = filterPrototype.GetRotatedCopy<ImageFilter>(90);

这是实际的编译器错误:

/home/nick/Projects/ViMRID/vimrid/Debug/libvimrid.so: undefined reference to `vimrid::imaging::processing::ImageFilter vimrid::imaging::ImageMatrix::GetRotatedCopy(double)'

更新 3:

顺便说一句，除了实现行之外的所有内容都位于库中；所以它是从一个单独的二进制文件中调用的...这有关系吗？ 更正；它都在同一个库中。不过，所有 block 都是不同的文件。

更新 4:

当我注释掉实现行 (ImageFilter filter2 = filterPrototype...) 时，它构建良好，所以似乎是这一行导致了它...

更新 5(已解决？):

仍有问题...这可能是命名空间的问题吗？ 从头开始​​，好的，我现在已经掌握了模板的概念! :) 模板定义必须与声明一起位于标题中(对吗？)- 现在我已将声明移至 ImageMatrix.h ，一切编译。但是，我不得不使用 dynamic_cast让它工作；这是正确的吗？如果我跑题了请纠正我!

// This is in the header file!
// Help!!! This looks really really smelly...
template<class T>
T ImageMatrix::GetRotatedCopy(VDouble angle)
{
    ImageMatrix image = _getRotatedCopy(angle);
    ImageMatrix *imagePtr = &image;
    return *dynamic_cast<T*>(imagePtr);
}

更新 6:

引用更新 5，当我不使用 dynamic_cast 时......

template<class T>
T ImageMatrix::GetRotatedCopy(VDouble angle)
{
    ImageMatrix image = _getRotatedCopy(angle);
    ImageMatrix *imagePtr = &image;
    //return *dynamic_cast<T*>(imagePtr);
    return *imagePtr;
}

...我收到此错误...

../src/imaging/processing/../ImageMatrix.h: In member function ‘T vimrid::imaging::ImageMatrix::GetRotatedCopy(vimrid::VDouble) [with T = vimrid::imaging::processing::ImageFilter]’:
../src/imaging/processing/ImageProcessor.cpp:32:   instantiated from here
../src/imaging/processing/../ImageMatrix.h:45: error: conversion from ‘vimrid::imaging::ImageMatrix’ to non-scalar type ‘vimrid::imaging::processing::ImageFilter’ requested
make: *** [src/imaging/processing/ImageProcessor.o] Error 1

更新 7:

此外，如果我不在更新 6 中使用所有那些臭臭的代码...

class ImageMatrix : public VImage
{
public:
    template<class T> T GetRotatedCopy(VDouble angle);
private:
    ImageMatrix _getRotatedCopy(VDouble angle);
};

template<class T>
T ImageMatrix::GetRotatedCopy(VDouble angle)
{
    return _getRotatedCopy(angle);
}

...我收到与更新 6 中相同的错误。

最佳答案

是的，你非常接近，试试这个:

class FooBar1
{
public:
    template<class T> T Foo();
};

class FooBar2 : public FooBar1
{
};

template<class T>
T FooBar1::Foo()
{
    return T();
}

int main()
{
   FooBar1 fb1;
   FooBar2 fb2 = fb1.Foo<FooBar2>();
}

您遇到的问题是您指定了 FooBar1::Foo() 的返回类型作为FooBar2 , 你应该把它当作 T .

如果你想为 FooBar2 做特定的事情，你可以在 FooBar2 上特化:

template<>
FooBar2 FooBar1::Foo<FooBar2>()
{
    return FooBar2();
}

编辑: 听起来您遇到的问题是编译器找不到模板化 GetRotatedCopy 的定义。 C++ 中的模板相当挑剔，通常的做法是将整个模板实现放在一个头文件中。你可以试试这个:

class ImageMatrix : public VImage
{
public:
    // ... various functions ...
    template<class T> T GetRotatedCopy(VDouble angle)
    {
       // ... create a new instance of ImageMatrix and return it.
    }
};

编辑: 我找不到 gcc 文档，但这里是 microsoft's documentation在显式模板实例化和库上，它提供了一些关于正在发生的事情的想法。您可能希望按照我之前的建议在 header 中包含实现，或者在库中调用 GetRotatedCopy，或者在库中显式实例化它。参见 veefu's answer下面是语法。

之所以与 C# 不同，是因为 C++ 中的模板与 C# 不同，实际上为每个不同的模板参数组合创建了一个全新的类/函数。例如vector<int>是与 vector<string> 完全不同的类(具有不同的编译方法集) .参见 Kevin's answer以获得更好的解释。

至于当你不使用模板时错误消失，这实际上并没有告诉你太多，因为直到你真正实例化一个模板，它不会

RE 更新 5、6、7

你的 dynamic_cast 不会工作，你只能在指针实际指向你正在转换的类的实例时使用它。 (它的工作方式类似于 C# 中的 as 运算符)。

我现在怀疑，您想要的是 CRTP .您从 ImageFilter 的实例开始，并希望在其上使用基类方法，并取回 ImageFilter 的新拷贝。尝试以下方法:

template <class T>
class ImageMatrix
{
public:
    T GetRotatedMatrix()
    {
        return T();
    }
};

class ImageFilter : public ImageMatrix<ImageFilter>
{
};

int main()
{
    ImageFilter filterPrototype;
    ImageFilter otherFilter = filterPrototype.GetRotatedMatrix();
}

否则，如果您真的想从 ImageMatrix 开始并将其转换为 ImageFilter，则必须在采用 ImageMatrix 的 ImageFilter 上添加一个构造函数。

关于c# - C++ 是否支持单个泛型方法而不是泛型类？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/735184/