这是有效的 C++ 11

Question

我有以下代码可以在 g++ 下编译，但不能使用 clang。

如果以各种细微的方式更改代码，例如合并 2 个命名空间声明，Clang 将编译代码。

// The problem disappears without namespaces.
namespace Root {
    // The problem disappears if 'g' is in the global namespace, and we change
    // the friend declaration to '::g'

    // The problem disappears if 'g' has void return type.

    // The problem disappears if we get rid of the 'Value' template argument
    // and the 'value' parameter.
    template<typename Value, typename Defaulted = void>
    bool g(Value value);

    // The problem disappears if MyClass is not a template.
    template<typename ClassValue>
    class MyClass {
    private:
        template<typename Value, typename Defaulted>
        friend bool g(Value value);
    };
}

// The problem disappears if we declare the Root namespace in a single block
// containing 'g', 'MyClass' and 'f'.

// The problem remains if we declare f in the global namespace and reference
// Root::g.
namespace Root {
    void f() {
        MyClass<int> value;

        g(value);
    }
}

使用 clang 编译：

clang -fsyntax-only -std=c++11 testcase.cpp

使用 g++ 编译：

g++ -fsyntax-only -std=c++11 testcase.cpp

版本是 g++ 4.9.2、clang 3.6.0，都在 Ubuntu 核心 15.04 上。

Clang 给出错误信息：

testcase.cpp:24:9: error: no matching function for call to 'g'
        g(value);
        ^
testcase.cpp:14:21: note: candidate template ignored: couldn't infer template argument 'Defaulted'
        friend bool g(Value value);
                ^
1 error generated.

Answer 1

我相信这是一个 clang 错误。从 [temp.param]，我们有：

如果友元函数模板声明指定 默认模板参数，该声明应是一个定义，并且应是唯一的声明 翻译单元中的函数模板。

可供使用的默认模板参数集是通过合并来自的默认参数获得的 模板的所有先前声明都以相同的方式默认函数参数是（8.3.6）。

后一点表示我们可以写：

template <typename T, typename U=int>
void h();

template <typename T, typename U>
void h() { }

h<int>();

这是由 clang 编译的格式完美的代码。我们不能根据引用的规则将默认模板参数指定为g，因为g 之前已声明，但不指定它仍应保留Defaulted可通过合并步骤用作void。如果默认参数可用，那么查找应该能够找到我们想要的g。

一种解决方法是简单地为我们关心的专业加好友：

friend bool g<>(MyClass value);