添加自定义标签时实现 _TIFFVGetField 的困惑

Question

(免责声明:我意识到这是一堵巨大的文字墙，但我已尽力将内容归结为要点。如果您熟悉 libtiff，这不是一个非常复杂的问题)

我已经在 libtiff 邮件列表上提出了这个问题，但我想如果有人曾与该库合作过，我在这里也可能有一个很好的机会。

我正在使用此处的文档将我自己的内置标签添加到库中:http://libtiff.maptools.org/addingtags.html

因此，我向在 tif_dirinfo.c 顶部定义的 TIFFFieldInfo 数组添加了一个条目，如下所示:

{ TIFFTAG_CUSTOM_XXX, 4, 4, TIFF_SLONG, FIELD_XXX, 1, 0, "XXX" }, 

然后，我向 tif_dir.h 中定义的 TIFFDirectory 结构添加了一个字段:

typedef struct {
    /* ... */
    int32 td_xxx[4]; 
} TIFFDirectory;

现在我按照指示继续修改 _TIFFVSetField 和 _TIFFVGetField。这是我遇到问题的地方。

为了模仿库中已有的模式(请参阅 TIFFTAG_YCBCRSUBSAMPLING 的实现，这与我正在做的类似)，我将以下代码添加到 _TIFFVGetField :

/* existing, standard tag for reference */
case TIFFTAG_YCBCRSUBSAMPLING:
        *va_arg(ap, uint16*) = td->td_ycbcrsubsampling[0];
        *va_arg(ap, uint16*) = td->td_ycbcrsubsampling[1];
        break;
/* my new tag */
case TIFFTAG_CUSTOM_XXX: 
        *va_arg(ap, int32*) = td->td_xxx[0]; 
        *va_arg(ap, int32*) = td->td_xxx[1]; 
        *va_arg(ap, int32*) = td->td_xxx[2]; 
        *va_arg(ap, int32*) = td->td_xxx[3]; 
        break; 

据我所知，这是完全错误的。这里的目的是根据整数数组填充变量参数列表中的输入。唯一的优点是 va_list 中提供的参数始终为 int32 类型，而 YcBr 代码使用两个 int16。所以，它有效，但我无法复制该实现。

_TIFFVGetField 最终由 tif_dirwrite.c 中的 TIFFWriteNormalTag 调用。相关代码是这样的:

case TIFF_LONG: 
    case TIFF_SLONG: 
    case TIFF_IFD: 
        if (fip->field_passcount) { 
            uint32* lp; 
            if (wc == (uint16) TIFF_VARIABLE2) { 
                TIFFGetField(tif, fip->field_tag, &wc2, &lp); 
                TDIRSetEntryCount(tif,dir, wc2); 
            } else {    /* Assume TIFF_VARIABLE */ 
                TIFFGetField(tif, fip->field_tag, &wc, &lp); 
                TDIRSetEntryCount(tif,dir, wc); 
            } 
            if (!TIFFWriteLongArray(tif, dir, lp)) 
                return 0; 
            } else { 
                if (wc == 1) { 
                    uint32 wp; 
                    /* XXX handle LONG->SHORT conversion */ 
                    TIFFGetField(tif, fip->field_tag, &wp); 
                    TDIRSetEntryOff(tif,dir, wp); 
                } else { 
                /* ---------------------------------------------------- */ 
                /* this is the code that is called in my scenario       */
                /* ---------------------------------------------------- */ 
                    uint32* lp; 
                    TIFFGetField(tif, fip->field_tag, &lp); 
                    if (!TIFFWriteLongArray(tif, dir, lp)) 
                        return 0; 
                } 
            } 
            break; 

因此，声明了一个未初始化的指针lp，并将其地址传递给TIFFGetField。这反过来会设置 va_list(以 lp 作为唯一参数)并调用 TIFFVGetField，后者使用提供的 va_list 调用 _TIFFVGetField 和指向未初始化指针的指针。

这里有两个问题。

首先，这就是库提取数据的方式(我的代码，但同样遵循已经存在的模式)

*va_arg(ap, int32*) = td->td_xxx[0]; 

这似乎不正确。它将原始指针设置为 int 值。我推断，也许在我遵循的示例中(TIFFTAG_YCBCRSUBSAMPLING)，这些整数实际上是地址。好吧，但即使是这样，但还有另一个问题。

库调用 va_args N 次，其中 N 是数组中元素的数量。据我所知，变量参数列表只包含一个参数(指针的地址)。根据标准，这是未定义的行为(开头的重要一点):

如果没有实际的下一个参数，或者类型与类型不兼容实际的下一个参数(根据默认参数升级进行升级)，行为未定义。

正确的版本是

*va_arg(ap, int32**) = td_xxx; 

这将先前未初始化的指针设置为数组，这是有效的。我不喜欢它指向数据本身而不是副本，但无论如何；至少它不会崩溃并给我正确的结果。

我担心的是我错过了一些微妙的东西。这个软件很老了，很多人都在用。因此，在我看来，称其为错误就像将崩溃归咎于编译器，这几乎总是错误的。

但是，我无法推断出一种正确的方法，特别是当多次调用时库如何写入 va_arg 返回的内容。

任何帮助将不胜感激。提前致谢。

Answer 1

所以，最终的答案是 libtiff 依赖 UB 来实现这一点。虽然它在技术上是 UB，但我找不到没有执行以下操作的 va_arg 实现:

( *(t *)((ap += _INTSIZEOF(t)) - _INTSIZEOF(t)) )

因此，只要 t 小于原始参数大小(如此处所示)，您就可以安全地多次调用 va_arg 。

我最终只是将参数设置为指向我的数据的指针，并且它有效。我不喜欢直接访问头数据本身，但在不显着改变库的情况下，这是我唯一的选择。