如何修复不使用 gcc-4.8 和 clang-3.7 编译"array rvalue"？

How to fix "array rvalue" not compiling with gcc-4.8 and clang-3.7?

本文关键字：编译 array rvalue clang-3 何修复 gcc-4      更新时间：2023-10-16

此代码段至少需要标志-std=c++Ox才能使用 GCC-4.9 进行编译。
请参阅 gcc.godbolt.org 上的在线汇编。

template <typename T, int SIZE>
int foo (const T (&table) [SIZE])           // T = char
{
  return SIZE ? table[0] : 0;
}
template <typename T, int SIZE>
int bar (const T (&table) [SIZE])           // T = char *
{
    return SIZE ? table[0][0] : 0;
}
int main (int argc, char *argv[])
{
  return argc
       + foo( "foo" )
       + foo( {argv[0][0], argv[1][1]} )    // array rvalue
       + bar( {argv[0],    argv[1]   } );   // array rvalue
}

这使用 GCC-4.9 编译得很好...海湾合作委员会-6。
但是使用以前的GCC版本和所有Clang版本（上次测试是Clang-3.7.1）失败。

问题

  1. 要更改什么才能解决问题？
    （如果可能，只适应main()身体）
  2. 有没有办法使代码与C++03兼容？
    （同样，如果可能的话，只在main()体内）

GCC-4.8.2 输出

example.cpp: In function 'int main(int, char**)':
17 : error: no matching function for call to 'foo(<brace-enclosed initializer list>)'
+ foo( { argv[0][0], argv[1][1] } )
^
17 : note: candidate is:
2 : note: template<class T, int SIZE> int foo(const T (&)[SIZE])
int foo (const T (&table) [SIZE]) // T = char
^
2 : note: template argument deduction/substitution failed:
17 : note: couldn't deduce template parameter 'T'
+ foo( { argv[0][0], argv[1][1] } )
^
18 : error: no matching function for call to 'bar(<brace-enclosed initializer list>)'
+ bar( { argv[0], argv[1] } );
^
18 : note: candidate is:
8 : note: template<class T, int SIZE> int bar(const T (&)[SIZE])
int bar (const T (&table) [SIZE]) // T = char *
^
8 : note: template argument deduction/substitution failed:
18 : note: couldn't deduce template parameter 'T'
+ bar( { argv[0], argv[1] } );
^
Compilation failed

叮当-3.7.1 输出

17 : error: no matching function for call to 'foo'
+ foo( { argv[0][0], argv[1][1] } )
^~~
2 : note: candidate template ignored: couldn't infer template argument 'T'
int foo (const T (&table) [SIZE]) // T = char
^
18 : error: no matching function for call to 'bar'
+ bar( { argv[0], argv[1] } );
^~~
8 : note: candidate template ignored: couldn't infer template argument 'T'
int bar (const T (&table) [SIZE]) // T = char *
^
2 errors generated.
Compilation failed
您可以通过

为 C++11 将创建的临时数组命名来使此代码C++03 兼容。

int main (int argc, char *argv[])
{
    const char il1[] = {argv[0][0], argv[1][1]};
    const char* const il2[] = { argv[0], argv[1] };
    return argc
        + foo( "foo" )
        + foo( il1 )
        + bar( il2 );
}
相关文章：