避免警告 8 位 Ada 布尔返回类型，使用 Char-解网

问：

我一直在努力清理迂腐代码上的警告，我们将警告视为错误。我有 Ada 和 C++ 之间的接口代码，如下所示：

Ada manager.ads：

function Foo(ID_Type : in Integer) return Boolean;
pragma Import(CPP, Foo, "Foo");

C++ Adamanager.cpp：

extern "C" bool Foo(int32_t ID)
{
  return Manager::GetManager()->Bar(ID);
}

C++ Adamanager.h：

extern "C" bool Foo(int32_t ID);

C++ 管理器.cpp：

bool Manager::Bar(int32_t ID)
{
   //function body
   return answer;
}

C++ manager.h

static bool Bar(int32_t ID);

manager.ads 的 gcc -c 输出：

warning: return type of "Foo" is an 8-bit Ada Boolean
warning: use appropriate corresponding type in C (e.g. char)

我有一堆这样的案例。

为了摆脱警告，我是否需要用 char 或其他一些 8 位类型替换所有布尔值，然后在 Ada 正文代码中进行显式类型转换？为什么编译器会选择布尔值为 8 位？

C++ ADA 外部编译指示

with Interfaces.C;

function Foo (ID : in Integer) return Boolean is
   function Foo (ID : in Interfaces.C.int) return Interfaces.C.unsigned_char
   with Import, Convention => C, External_Name => "Foo";

   use type Interfaces.C.unsigned_char;
begin -- Foo
   return Foo (Interfaces.C.int (ID) ) /= 0;
end Foo;

尽管您可能希望在 Ada 端对 ID 使用 Integer 以外的类型。

这应该可以正常工作，消除警告，并提供一些针对编译器更改的保护。

避免警告 8 位 Ada 布尔返回类型，使用 Char

Avoiding warning 8-bit Ada Boolean return type, use Char

评论

评论