是否有任何合理使用返回匿名结构的函数？

Question

这是一个（人为）使用返回匿名结构并执行“某些”有用的函数的示例：

#include <iostream>

template<typename T>
T* func(T* t, float a, float b) {
    if(!t) {
        t = new T;
        t->a = a;
        t->b = b;
    } else {
        t->a += a;
        t->b += b;
    }
    return t;
}

struct {
    float a, b;
}* foo(float a, float b) {
    if(a==0) return 0;
    return func(foo(a-1,b), a, b);
}

int main() {
    std::cout << foo(5,6)->a << std::endl;
    std::cout << foo(5,6)->b << std::endl;

    void* v = (void*)(foo(5,6));
    //[1] delete f now because I know struct is floats only.
    float* f = (float*)(v);

    std::cout << f[0] << std::endl;
    std::cout << f[1] << std::endl;

    delete[] f;

    return 0;
}

我想讨论几点：

1. 很明显，这段代码泄漏了，在不知道底层结构定义是什么的情况下，无论如何我不能泄漏吗？见评论 [1]。
2. 我必须返回一个指向匿名结构的指针，这样我才能在模板化函数 func 中创建对象的实例，我可以在不返回指针的情况下做类似的事情吗？
3. 我想最重要的是，它有任何（现实世界）用途吗？正如上面给出的示例一样，这显然是人为设计的。

顺便说一句，函数foo(a,b) 所做的是返回一个包含两个数字的结构体，即从1 到a 的所有数字的总和以及a 和b 的乘积。

也许new T 行可以使用 boost::shared_ptr 以某种方式避免泄漏，但我还没有尝试过。那行得通吗？

我想我只是想将匿名结构作为浮点数组删除，例如 float* f = new float[2]。正如下面的评论所暗示的，这可能是错误的，那么可以做些什么呢？我可以删除吗？

我可以在 VS2008 上“按原样”编译和运行此代码，也许 VS 可能正在使用一些非标准扩展，但它确实运行并给出 15 和 30 作为答案。

从答案中我相信这个装置是 VS2008 特定的实体，它不符合标准，因此不可移植。不过太糟糕了，我很想看看 Stackoverflow 或 Boost 的人想出了什么巫术，如果这在他们的武器库中:)。谢谢大家。

Answer 1

目前，您的代码不可移植；例如，它不会使用 gcc 构建。

标准的第 14.3.1/2 节说：

一个本地类型，一个没有的类型 链接，未命名的类型或类型
由这些类型中的任何一种复合而成 不得用作模板-
模板的参数 类型参数。

请参阅 C++ Standard Core Language Defect Reports, Revision 69 和 Paper N2657 中的第 488 项，了解一种可能的演变。

更新 1

假设您的代码格式正确，那么：

1. 你可以重写：

   std::cout << foo(5,6)->a << std::endl;
   

   作为

   std::cout << std::auto_ptr(foo(5,6))->a << std::endl;
   

1234563当然，除了如何为匿名结构指定构造函数？ :)

2. 除了尝试不为结构分配显式名称的极其复杂的方式外，我没有看到任何实际用途；为了不污染命名空间，通常会立即使用匿名结构（在 C++ 中技术上不合法，但各种编译器都支持它作为扩展），通常是通过立即实例化一个结构（例如，您可能会看到一次性仿函数被实例化并传递下来）作为匿名结构——同样，技术上不合法的 C++。）

更新 2

感谢 gf 提供指向 C++ 标准相关部分的链接，该部分涉及可能未在返回类型中定义的新类型。

更新 3

把这个从 cmets 拿出来：在分配有 new（而不是 new[]）的内存上调用 delete[] 是对堆损坏的邀请。在您不知道其类型在技术上未定义的指针上调用 delete（应该调用哪个析构函数？）但是对于 POD（您的匿名结构是一个），您可以在这个 horrible 骇人听闻的方式：

 delete (int*)f;

当然，如果您的代码具有神奇的格式，std::auto_ptr 将能够保留匿名类型，并会为您正确而优雅地调用 delete。

Answer 2

您所做的事情在标准 C++ 中是不可能的 - 根据 §8.3.5/6（函数声明符，C++03），返回类型中不允许类型定义：

类型不应在返回或参数类型中定义。

Visual Studio 在这种情况下不兼容。

Answer 3

C++ 标准不允许匿名结构。

Answer 4

我想不出任何合理的用法。除了内存泄漏之外，这是实现您想要的目标的一种非常难以理解的方式。它让你的读者思考了很多代码在做什么。而且也不知道谁应该删除 main() 中的“f”。应该用delete[]删除还是delete删除？

我会在构造函数中使用一个带有“a”和“b”的类。它将有两种方法来获取两个计算的结构成员。在课堂内会有私有方法，使用普通循环来计算你想要的东西。然后您的 API 将如下所示：

void main()
{
   MyCalculator myCalc(5, 6);
   double sumOfAllNumbers = myCalc.getSumOfAllNumbers();
   double product = myCalc.getProduct();
}

Answer 5

匿名结构的近似值是元组。 Boost::Tuple 现在可以在任何地方使用，TR1 中还有另一个 [我假设它与 VS2008 一起分发] 具有几乎相同的界面。

#include <boost/tuple/tuple.hpp>

template<typename T>
boost::tuple<T, T>* func(boost::tuple<T, T>* t, float a, float b ) {
    if(!t) {
      t = new boost::tuple<T, T>(a, b);
    } else {
      boost::get<0>(*t) += a;
      boost::get<1>(*t) += b;
    }
    return t;
}

boost::tuple<float, float>* foo(float a, float b) {
    if(a==0) return 0;
    return func(foo(a-1,b), a, b);
}

正如其他人所说，整体方案相当脆弱，但我想专注于元组而不是设计。