代码之家 › 专栏 › 技术社区 › L. F.

为模板参数提供默认参数时,vs 2017无法正确找到以前定义的类型

visual-studio-2017 gcc templates c++

L. F. · 技术社区 · 7 年前

以下代码:

namespace N {
    template <typename A, typename B = A>
    class Foo;
}

template <typename C, typename D>
class N::Foo {
public:
    Foo() = default;
};

int main()
{
    N::Foo<char> foo;
}

涉及类模板的(转发)声明 Foo 在命名空间内 N 有两种类型参数( A 和 B )(forward)声明为第二个参数提供与第一个参数相同的默认值。( 一 )稍后,用不同名称的参数定义此类( C 和 D )因为已经指定了它,所以不提供默认值。

这在GCC 7.1和CLAN 3.8(C++ 17模式)中编译,除了未使用的变量。 foo 被警告。然而,VS 2017是7.7.5(C++ 17模式) 一 是未定义的标识符,并说它不是参数的有效类型名 D .

令我惊讶的是,当我把代码改成这个时:

namespace N {
    template <typename A, typename B = C> //note: A changed into C
    class Foo;
}

template <typename C, typename D>
class N::Foo {
public:
    Foo() = default;
};

int main()
{
    N::Foo<char> foo;
}

vs接受它!(不过,它并没有在GCC或CLang中编译)

我认为vs是错的。它试图在不同的上下文中解释默认参数(在本例中,定义 福 )而GCC和Clang没有。我在哪一步出错了?或者这是一个v的错误?

任何帮助都将不胜感激。

(抱歉我英语不好)

2 回复 | 直到 7 年前

Michael Kenzel 7 年前

[basic.scope.temp] Â§3

template <typename A, typename B = A>
struct S;

template <typename C, typename D>
struct S {};

int main()
{
    S<int> s;
}

-1

KeepFurther 7 年前

namespace N {
    template <typename A, typename B = A>
    class Foo;
}

template <typename A, typename B> //A and B is TYPE
class N::Foo {
public:
    Foo() = default;
};

int main()
{
    N::Foo<char> foo;
}

https://docs.microsoft.com/en-us/cpp/cpp/templates-cpp

double example(double,int);

int main()
{
//...
}

double example(double a,double b)
{
//...
}

推荐文章

AstralHex · 矩阵乘法代码工作不正常

6 月前

Baba Dan Constantin · SSE4.1在矩阵4x4乘法上比SSE3慢?

6 月前

Giogre · 为包含许多数值字段的简单“struct”重载比较运算符

6 月前

einpoklum · 定义一个并不真正提供now()函数的std::chrono Clock是“合法的”吗?

6 月前

Fishie · 作为类成员的智能指针是否仍然自动释放?[关闭]

6 月前

Die4Toast · 递归调用成员箭头运算符->

6 月前

Angle.Bracket · 如何用C++将UTF-8文件名写入MS Windows控制台?

6 月前

Anka HanÄ±m · 关于结构和动态数组地址的问题

6 月前

Adam Barnes · 我如何定义一个基于constexpr函数返回值进行限制的概念?

7 月前

user2138149 · 为什么我不能获取包含多个元素的结构体中某些元素的地址?[副本]

7 月前