Question

following code在MSVC ++中编译，但不在GCC 4.5.1中编译：

#include <iostream>

template< typename PT, bool pB >
struct TA
{
  PT m;
  TA( PT fT ) :
    m( fT )
  {
   std::cout << "TA<" << pB << ">::TA() : " << m << std::endl;
  }
  PT operator()( PT fT )
  {
   std::cout << "TA<" << pB << ">::() : " << m << " and " << fT << std::endl;
   return ( m );
  }
};

template< typename PT >
PT Foo( PT fT )
{
 std::cout << "Foo() : " << fT << std::endl;
 return ( fT );
}

// Does not compile in GCC 4.5.1, compiles in MSVC++2010. 
// Substitute TA< decltype( fF( std::forward<PP>( fP ) ) ), pB > with
// TA< double, pB > to compile with GCC.
template< bool pB, typename PF, typename PP >
auto Func( PF fF, PP && fP, TA< decltype( fF( std::forward<PP>( fP ) ) ), pB > && fA )
-> decltype( fF( std::forward<PP>( fP ) ) )
{
 decltype( fF( std::forward<PP>( fP ) ) ) lResult( fF( std::forward< PP >( fP ) ) );

 fA( lResult );

 return ( lResult );
}

int main( void )
{
 Func< true >( Foo< double >, -1.2, 2.1 );
 return ( 0 ); 
}

注释指向有问题的行并显示修复（从设计的角度来看，这不是一个真正的修复，只是一个编译修复）。几个问题：

MSVC ++编译是否正确？
如果我们要在

auto Func( PF fF, PP && fP, TA< decltype( fF( std::forward<PP>( fP ) ) ), pB > && fA )

到

auto Func( PF fF, TA< decltype( fF( std::forward<PP>( fP ) ) ), pB > && fA, PP && fP )

它不会编译，因为编译器将fP中的TA< decltype( fF( std::forward<PP>( fP ) ) ), pB >视为未声明的变量。从逻辑上讲，编译器此时确实需要知道fP，它是不是解析整个声明，因为它的函数是尾随返回类型？为什么它不能“跳过”第二个函数参数，看看后面的函数声明中是否声明了fP？或者我在这里缺少一些基本的东西（也许是标准中的一些段落）？

Answer 1

我相信MSVC是正确的。
您不能在之前的声明中引用后面的参数，因为该名称尚未在范围内。为了确定fA参数的类型，fP和fF都必须在范围内，以便可以评估decltype表达式。
< / LI>
如果您明确指定了模板参数，那么它适用于gcc：
```
Func< true,decltype(&Foo<double>),double>( Foo< double >, -1.2, 2.1 );
```
这个以及直接指定“double”作为TA的参数的事实意味着对TA参数使用依赖类型会阻止PF的类型推导和PP。我不明白为什么会这样。

`decltype`作为模板函数声明中模板类型规范的一部分

1 个答案: