- Home /
- Visual Studio /
This site uses cookies for analytics, personalized content and ads. By continuing to browse this site, you agree to this use. Learn more
Report an issue
in Visual Studio Installer or Visual Studio
This allows diagnostic information about the program to be included in your report
1. Installer or Visual Studio
2. Report a Problem
3. Type and Submit
Available on Visual Studio 2017, Installer, and newer releases
Would you like to know more?
VC++: An internal error for a simple partial specialization code when module feature is enabled
VC++ reports an internal error.
----reproduction---- (VS 15.4.1, build with /EHsc /permissive- /std:c++latest /experimental:module)
template<typename T, int I> struct A { void f(); };
template<typename T> struct A<T, 2> { void g(); };
template<typename T> void A<T, 2>::g() {}
int main() {}
----
expected result: compilation succeeds
actual result: compilation failed with an internal error 'C1001' and
it said "compiler file 'f:\dd\vctools\compiler\cxxfe\sl\p1\c\symbols.c', line 15404"
First, I tested the above in 15.5.0 pre1 (cl 19.12.25805.1) and it still fails.
Also, I am not certain if it is a separate bug but I have another problem with partial specialization in forward declarations with /experimental:module . Here is the example code that fails to compile with /experimental:module, but compiles without it:
// Forward declarations of a template with partial specialization:template <typename T> struct S; template <typename T> struct S<T*>; // This line causes the problem.
// Definitions:
template <typename T> struct S { }; template <typename T> struct S<T*> { };
// Usage:
S<int*> p; // error C2752: 'S<int >': more than one partial specialization matches the template argument list // note: could be 'S<T>' // note: or 'S<T*>'
If we remove forward declaration from "This line causes the problem", it compiles. If we duplicate that line, the compiler will display more copies of " note: or 'S<T*>' ".
(Code display is broken on this forum, as stated here https://developercommunity.visualstudio.com/content/problem/102699/code-formatting-on-this-forum.html (links are also broken?); copy-pasting the above code to compile it should work, but the error messages in the comments are incorrectly displayed)
We appreciate you taking the time to report this problem. We are currently prioritizing problems that are impacting a broad set of our customers, so we may not be able to investigate this one immediately. We know this problem is important to you, so we will continue to monitor it.
Thank you for your feedback! We have fixed the problem in an upcoming release. Thank you for helping us build a better Visual Studio!
Hi Leo, thanks.
I look forward to next release.
The fix for this is now in our latest Visual Studio Preview release. If you'd like to try out the fix, you can access the preview build here: https://www.visualstudio.com/vs/preview
I confirm that this "internal error" problem is now fixed, but it did not fix the "Forward declarations of a template with partial specialization" problem I posted in the comment above and I thought was related. Do you want me to repost the problem as a separate one?
66 People are following this
