隐式转换运算符与模板构造函数-应优先考虑谁?

请考虑以下代码段:

template <typename>
struct dependent_false { static constexpr auto value = false; };

struct foo
{
    foo() { }

    template <typename T>
    foo(const T&) { static_assert(dependent_false<T>::value, ""); }
};

struct proxy
{
    operator foo() { return foo{};  }
};

int main()
{
    (void) foo{proxy{}};
}

编译时使用 -std=c++17 :

• clang++ (trunk)成功编译代码;

• g++ (trunk)无法编译代码-它实例化 foo(const T&) .

编译时使用 -std=c++11 ,两个编译器都拒绝代码。新的 PR值 C++ 17中的实体化规则可能会影响这里的行为。

live example on godbolt.org

这里的正确行为是什么?

• 标准是否保证 foo::foo(const T&) 是否将被实例化?

• 标准是否保证 隐式转换运算符 将优先于调用 foo::foo(常量) ,不管它是否被实例化?