Clang 候选模板被忽略：替换失败（也无法用 gcc 编译，VC 工作正常）

Question

我遇到了 Clang 3.5 的问题。以下是一个独立的repro。此代码使用 VC12 编译。使用 Clang 我收到以下错误：

1>C:\Users\jcuyle\code\branches\dev\ClientSDK\test\CompilerTestbed\CompilerTestbed.cpp(111,5): error : no matching function for call to 'out_from_storage'
1>          }( util::out_from_storage( rv ) );
1>             ^~~~~~~~~~~~~~~~~~~~~~
1>  C:\Users\jcuyle\code\branches\dev\ClientSDK\test\CompilerTestbed\CompilerTestbed.cpp(37,13):  note: candidate template ignored: substitution failure [with storage_t = std::chrono::time_point<std::chrono::_V2::system_clock, std::chrono::duration<long, std::ratio<1, 1000000000> > > &]: no matching function for call to 'out_from_storage'
1>  inline auto out_from_storage( storage_t && storage ) -> decltype( util::details::template out_from_storage( std::forward< storage_t >( storage ) ) )
1>              ^                                                     ~~~~
1>  1 error generated.

代码如下：

#include <stdint.h>

#include <type_traits>
#include <chrono>
#include <utility>

namespace util
{
namespace details
{

template< typename RTy, typename Ty, typename enable = void >
inline RTy out_from_storage( Ty );

template< typename Ty, typename = typename std::enable_if< std::is_trivial< typename std::decay< Ty >::type >::value, Ty >::type >
inline typename std::add_pointer< typename std::decay< Ty >::type >::type out_from_storage( Ty&& t )
{
    return &t;
}

} // namespace details

template< typename storage_t >
inline auto out_from_storage( storage_t && storage ) -> decltype( util::details::out_from_storage( std::forward< storage_t >( storage ) ) )
{
    return util::details::out_from_storage( std::forward< storage_t >( storage ) );
}

} // namespace util

namespace util
{
namespace details
{

template< typename enable = void >
inline int64_t out_from_storage( std::chrono::system_clock::time_point & storage )
{
    return std::chrono::system_clock::to_time_t( storage );
}

} // namespace details
} // namespace util

int main(int argc, char * argv[])
{
    std::chrono::system_clock::time_point out = std::chrono::system_clock::now( );
    util::out_from_storage( out ); // error
    util::details::out_from_storage( out ); // no error

    return 0;
}

虽然此示例相当简单，但代码是实用程序库的一部分，用于跨 DLL 边界封送类型。有许多类似的实用函数和大量针对不同类型的特化。在 VC 下一切正常，我怀疑 VC 接受的只是一些虚假的语法，但 Clang 和 gcc 需要稍微更正确才能接受。对代码进行重大的重新排序是困难的，并且对系统进行重大重写以使用完全不同的方法来专门化转换功能（例如，抽出 type_traits/enable_if 并使用标签调度或类似的方法）是不切实际的。如果有人可以解释为什么 Clang 找不到匹配的函数调用 util::details::out_from_storage( std::chrono::system_clock::time_point & storage ) 即使它很明显存在（并且 VC 可以找到它）我真的很感激。我对 Clang 和 gcc 很陌生。谢谢！

Answer 1

您有一个 out_from_storage 重载，无需显式提供模板参数即可调用，它依赖于：

std::is_trivial< typename std::decay< Ty >::type >::value

您使用time_point 的实例调用它，但这不是一个平凡的类型，因为它没有平凡的default constructor。因此，这个重载被从集合中移除。

由于没有可行的过载，调用失败。