为什么“使用命名空间”会尝试在该命名空间中为 MSVC 实例化模板

Question

我有以下代码示例（MSVC 2015 编译）

https://godbolt.org/g/kccgtb（用于可执行演示）

#include "boost/range/value_type.hpp"

namespace foo { 

    template <typename Range>
    typename boost::range_value<Range>::type
    operator|(Range const& r, int holder)
    {       
    }

}

using namespace foo;


int main(){

}

在msvc下产生如下错误

example.cpp

/opt/compiler-explorer/windows/19.00.24210/include/xlocale(341)： 警告 C4530：使用了 C++ 异常处理程序，但展开语义是 未启用。指定 /EHsc

/opt/compiler-explorer/libs/boost_1_67_0\boost/range/value_type.hpp(26)： 错误 C2039：“类型”：不是 'boost::range_iterator'

    with

    [

        T=unsigned __int64

    ]

/opt/compiler-explorer/libs/boost_1_67_0\boost/range/value_type.hpp(26)： 注意：参见'boost::range_iterator'的声明

    with

    [

        T=unsigned __int64

    ]

/opt/compiler-explorer/windows/19.00.24210/include/xstring(1659)： 注意：参见类模板实例化的参考 'boost::range_value' 正在编译

/opt/compiler-explorer/windows/19.00.24210/include/xstring(1658)： 注意：在编译类模板成员函数'void std::basic_string,std::allocator>::shrink_to_fit(void)'

/opt/compiler-explorer/windows/19.00.24210/include/system_error(661)： 注意：参见对函数模板实例化的参考 'void std::basic_string,std::allocator>::shrink_to_fit(void)' 正在编译

/opt/compiler-explorer/windows/19.00.24210/include/stdexcept(21)： 注意：参见类模板实例化的参考 'std::basic_string,std::allocator>' 正在编译

/opt/compiler-explorer/libs/boost_1_67_0\boost/range/value_type.hpp(26)： 错误 C2146：语法错误：在标识符“类型”之前缺少“>”

/opt/compiler-explorer/libs/boost_1_67_0\boost/iterator/iterator_traits.hpp(23)： 错误 C2039：“value_type”：不是 'std::iterator_traits'

    with

    [

        Iterator=int

    ]

/opt/compiler-explorer/libs/boost_1_67_0\boost/iterator/iterator_traits.hpp(23)： 注意：参见 'std::iterator_traits' 的声明

    with

    [

        Iterator=int

    ]

/opt/compiler-explorer/libs/boost_1_67_0\boost/range/value_type.hpp(27)： 注意：参见类模板实例化的参考 'boost::iterators::iterator_value' 正在编译

/opt/compiler-explorer/libs/boost_1_67_0\boost/iterator/iterator_traits.hpp(23)： 错误 C3646：“类型”：未知的覆盖说明符

/opt/compiler-explorer/libs/boost_1_67_0\boost/iterator/iterator_traits.hpp(23)： 错误 C4430：缺少类型说明符 - 假定为 int。注意：C++ 没有 支持默认整数

编译器返回：2

在 gcc 和 clang 下编译。

见https://godbolt.org/g/kccgtb

Answer 1

其中一种方法是在模板参数中使用 SFINAE：

template <class Range, class = std::enable_if_t<!std::is_fundamental_v<Range>>>
typename boost::range_value<Range>::type
operator|(
   const Range &r
  , int holder)
{ 
}

它比带有sfinae参数的更简洁，更少模糊

Answer 2

我有一个工作同事的工作。这很丑，但似乎有效

#include "boost/range/value_type.hpp"

namespace foo { 

    template <typename Range>
    typename boost::range_value<Range>::type
    operator|(
       typename std::enable_if<!std::is_fundamental<Range>::value, Range>::type 
          const& r
      , int holder)
    { 
    }
}

using namespace foo;

int main(){}