variable scope in statement blocks

by

By my understanding of scope, the first example should be fine.

Your understanding of scope is fine. This is not a scoping error. It is an inconsistent use of simple name error.

int i = 10; // error, ‘i’ already exists

That is not the error that is reported. The error that is reported is “a local variable named i cannot be declared in this scope because it would give a different meaning to i which is already used in a child scope to denote something else“

The error message is telling you what the error is; read the error message again. It nowhere says that there is a conflict between the declarations; it says that the error is because that changes the meaning of the simple name. The error is not the redeclaration; it is perfectly legal to have two things in two different scopes that have the same name, even if those scopes nest. What is not legal is to have one simple name mean two different things in nested local variable declarations spaces.

You would get the error “a local variable named i is already defined in this scope” if instead you did something like

int i = 10;
int i = 10;

Surely ‘i’ is either in scope or not.

Sure — but so what? Whether a given i is in scope or not is irrelevant. For example:

class C 
{
    int i;
    void M()
    {
        string i;

Perfectly legal. The outer i is in scope throughout M. There is no problem at all with declaring a local i that shadows the outer scope. What would be a problem is if you said

class C 
{
    int i;
    void M()
    {
        int x = i;
        foreach(char i in ...

Because now you’ve used i to mean two different things in two nested local variable declaration spaces — a loop variable and a field. That’s confusing and error-prone, so we make it illegal.

Is there something non-obvious about scope I don’t understand which means the compiler genuinely can’t resolve this?

I don’t understand the question. Obviously the compiler is able to completely analyze the program; if the compiler could not resolve the meaning of each usage of i then how could it report the error message? The compiler is completely able to determine that you’ve used ‘i’ to mean two different things in the same local variable declaration space, and reports the error accordingly.

More Related Contents:

  1. Why only literal strings saved in the intern pool by default?
  2. C# variable scoping: ‘x’ cannot be declared in this scope because it would give a different meaning to ‘x’
  3. Variable scope confusion in C#
  4. How to use Global Variables in C#?
  5. implicit operator using interfaces
  6. Stack capacity in C#
  7. Resolve assembly references from another folder
  8. Module initializers in C#
  9. Initialization of instance fields vs. local variables
  10. What is a “rooted reference”?
  11. Hosting CLR in Delphi with/without JCL – example
  12. Private inner classes in C# – why aren’t they used more often?
  13. Should we always include a default constructor in the class?
  14. C# compiler bug? Why doesn’t this implicit user-defined conversion compile?
  15. How to detect which .NET runtime is being used (MS vs. Mono)?
  16. Why does Random.Next() always return the same number [duplicate]
  17. Why can’t we define a variable inside an if statement?
  18. TargetedPatchingOptOut: “Performance critical to inline across NGen image boundaries”?
  19. How many String objects will be created when using a plus sign?
  20. Are static indexers not supported in C#? [duplicate]
  21. What is the maximum length of a C#/CLI identifier?
  22. Why can’t I use the array initializer with an implicitly typed variable?
  23. Simplest way to make cross-appdomain call?
  24. How are String and Char types stored in memory in .NET?
  25. C# Compiler optimization – Unused methods
  26. C# – Value Type Equals method – why does the compiler use reflection?
  27. Where is the .NET JIT-compiled code cached?
  28. Where is the .NET JIT-compiled code cached?
  29. Why value-types are stored onto Stacks?
  30. Why use a public method in an internal class?

Leave a Comment