有沒有辦法使C ++函數采用具有相同成員的兩種不同類型？

Question

struct typeA
{
  double fieldA;
}

struct typeB
{
  double fieldA;
  double fieldB;
}


void do_stuff(typeA or typeB input)
{
   input.fieldA // I will only use fieldA and will never use fieldB
}

它對性能敏感，所以我不想先將它轉換為通用類型。

Answer 1

您可以模板化do_stuff函數，編譯器將為您檢查實現。 如果該字段不可用，您將收到錯誤消息。 這是一個完整的例子：

struct typeA
{
  double fieldA;
};

struct typeB
{
  double fieldA;
  double fieldB;
};

template <typename T>
void do_stuff(T& input)
{
   input.fieldA = 10.0;
}

int main() {
    typeA a;
    do_stuff(a);

    typeB b;
    do_stuff(b);
}

注意 ：記得添加分號; 在struct定義的末尾（否則它將無法編譯）。

Answer 2

如果您使用常見類型，則沒有性能損失，如下所示：

struct typeA
{
  double fieldA;
};

struct typeB: typeA
{
  double fieldB;
};


void do_stuff(typeA & input)
{
   input.fieldA; // I will only use fieldA and will never use fieldB
}

一旦開始使用虛擬方法，您才會開始看到性能受到影響。 除非並且直到你這樣做 - 沒有性能成本

Answer 3

您可以使用模板系統：

 template <typename T> void do_stuff(const T& val) {
     // Use val.fieldA
 }

在這里，如果你在一個名為fieldA的字段的對象上調用do_stuff ，這將編譯得很好並按你的意願fieldA 。 如果您嘗試在沒有fieldA成員的情況下調用它，則無法編譯並報告錯誤。

Answer 4

有趣的是，最簡單的解決方案有時會逃避我們。 如果你“只使用fieldA並且永遠不會使用fieldB”那么為什么不：

void do_stuff(double& fieldA)
{
   fieldA; // I will only use fieldA and will never use fieldB
}

void test()
{
    typeA a{};
    typeB b{};

    do_stuff(a.fieldA);
    do_stuff(b.fieldA);
}

...