0

我目前被一个恕我直言的奇怪问题难住了：使用模板会破坏编译，而使用 typedef 就可以了。我正在编写的函数旨在从具有以下签名的实值时间序列中确定分析信号

#ifndef USE_TEMPLATE
typedef sample_t sample_T
#else
template<typename sample_T>
#endif
analytic_err analytic(
    size_t length,
    sample_T const * const signal,
    sample_T * const amplitude,
    sample_T * const phase )
{
    typedef kissfft<sample_T> kissfft_t;
    /* ... */

kissfft是 KissFFT 快速傅立叶变换库的 C++ 变体。再往前几行，我分配了一些工作区数组。

    kissfft_t::cpx_type *inout = new kissfft_t::cpx_type[padded_length];

我故意不使用 std::vector 并且我还修改了 Kissfft.hh 以减少 STL。我不想讨论 STL 的使用或不使用。在这个项目中，STL 是不行的（不是我的决定）。

这就是麻烦开始的地方。如果我不使用模板变体，即定义一个 typedef fromsample_t一切sample_T工作正常，结果程序通过所有测试用例。

一旦我切换到使用模板，麻烦就开始了：

GCC 和 Clang 都出现了一些我无法理解的错误：

GCC 错误

In file included from /home/dw/extradev/octuda/src/hilbert_test.cc:6:0:
signalprocess.cc: In function ‘analytic_err analytic(size_t, const sample_T*, samplT*, sample_T*)’:
signalprocess.cc:54:23: error: ‘inout’ was not declared in this scope
signalprocess.cc:54:35: error: expected type-specifier
signalprocess.cc:54:35: error: expected ‘;’
signalprocess.cc: In instantiation of ‘analytic_err analytic(size_t, const sample_T sample_T*, sample_T*) [with sample_T = float; analytic_err = analytic_err_t; size_t = long unsigned int]’:
test_analytic.cc:45:41:   required from here
signalprocess.cc:54:2: error: dependent-name ‘kissfft_t:: cpx_type’ is parsed as a n-type, but instantiation yields a type
signalprocess.cc:54:2: note: say ‘typename kissfft_t:: cpx_type’ if a type is meant
signalprocess.cc:59:2: error: dependent-name ‘kissfft_t:: cpx_type’ is parsed as a n-type, but instantiation yields a type
signalprocess.cc:59:2: note: say ‘typename kissfft_t:: cpx_type’ if a type is meant

铿锵声错误

In file included from ../../src/hilbert_test.cc:6:
signalprocess.cc:54:23: error: use of undeclared identifier 'inout'
        kissfft_t::cpx_type *inout = new kissfft_t::cpx_type[padded_length];
                             ^
signalprocess.cc:54:35: error: expected a type
        kissfft_t::cpx_type *inout = new kissfft_t::cpx_type[padded_length];
                                         ^
signalprocess.cc:55:6: error: use of undeclared identifier 'inout'
        if(!inout) {
            ^

and some more all following the same gist.

GCC 和 Clang 同意在使用模板时有些事情是不对的。那么我在这里做错了什么？

4

2 回答 2

3

当你使用模板时，那么这个

kissfft_t::cpx_type *inout = new kissfft_t::cpx_type[padded_length];

应该变成这样：

typename kissfft_t::cpx_type *inout = new typename kissfft_t::cpx_type[padded_length];
^^^^^^^^note                              ^^^^^^^^note

因为kissfft_t依赖于模板参数，因此cpx_type是依赖类型，因此您需要使用typename它来消除它与静态值的歧义。

要详细了解为什么typename需要，请参阅此主题：

于 2013-01-10T15:31:28.847 回答
1

如果sample_T是模板参数，那么kissfft_t::cpx_type是从属名称。在模板被实例化之前，编译器无法推断出它是一个类型名，所以它需要写成typename kissfft_t::cpx_type.

如果它不是模板参数，那么就会出现错误，所以不幸的是，无论是否定义typename，您都需要添加更多可怕的预处理器恶作剧才能做正确的事情。USE_TEMPLATE

于 2013-01-10T15:34:07.697 回答