Why does (file-exists-p "") return t?

Why does (file-exists-p "") return t?

[Edgar Vincent]

Hello everyone,

I just noticed that (file-exists-p “”) returns t on my system (Emacs 28.2 on Arch Linux).
I am not familiar with Emacs’ file handling internals, so the answer might be obvious.
However, I did not find any mention of this case in the docstring or the Elisp manual.

Thanks a lot,

Edgar Vincent

Re: Why does (file-exists-p "") return t?

[Gregory Heytings]

>
> I just noticed that (file-exists-p “”) returns t on my system (Emacs 
> 28.2 on Arch Linux).
>
> I am not familiar with Emacs’ file handling internals, so the answer 
> might be obvious.
>
> However, I did not find any mention of this case in the docstring or the 
> Elisp manual.
>

When the argument to file-exists-p is not an absolute file name, it is 
understood as being relative to default-directory.  Therefore with an 
empty string, file-exists-p checks whether default-directory exists, which 
is normally the case.  But

(let ((default-directory "/nonexistent")) (file-exists-p ""))

returns nil.

Re: Why does (file-exists-p "") return t?

[Edgar Vincent]

Gregory Heytings <gregory@heytings.org> writes:

> When the argument to file-exists-p is not an absolute file name, it is
> understood as being relative to default-directory.  Therefore with an empty
> string, file-exists-p checks whether default-directory exists, which is normally
> the case.  But
>
> (let ((default-directory “/nonexistent”)) (file-exists-p “”))
>
> returns nil.

Thank you very much for your reply. This makes sense - and I’m sure it is mentioned somewhere
in the documentation.

Edgar Vincent

Re: Why does (file-exists-p "") return t?

[Eli Zaretskii]

> From: Edgar Vincent <e-v@posteo.net>
> Cc: help-gnu-emacs@gnu.org
> Date: Thu, 09 Feb 2023 11:10:07 +0000
> 
> Gregory Heytings <gregory@heytings.org> writes:
> 
> > (let ((default-directory “/nonexistent”)) (file-exists-p “”))
> >
> > returns nil.
> 
> Thank you very much for your reply. This makes sense - and I’m sure it is mentioned somewhere
> in the documentation.

It is:

     Expanding ‘.’ or the empty string returns the default directory:

          (expand-file-name "." "/usr/spool/")
               ⇒ "/usr/spool"
          (expand-file-name "" "/usr/spool/")
               ⇒ "/usr/spool"

Re: Why does (file-exists-p "") return t?

[Edgar Vincent]

I didn’t know that file-exists-p used expand-file-name, but it does seem obvious.

Thanks for your reply!

Re: Why does (file-exists-p "") return t?

[Jean Louis]

* Edgar Vincent <e-v@posteo.net> [2023-02-10 00:11]:
> I didn’t know that file-exists-p used expand-file-name, but it does seem obvious.

To avoid the problem maybe you should use `expand-file-name' before
you check it with `file-exists-p'

As otherwise you may check the wrong path.

-- 
Jean

Take action in Free Software Foundation campaigns:
https://www.fsf.org/campaigns

In support of Richard M. Stallman
https://stallmansupport.org/

Re: Why does (file-exists-p "") return t?

[Bruno Barbier]

Jean Louis <bugs@gnu.support> writes:

> * Edgar Vincent <e-v@posteo.net> [2023-02-10 00:11]:
>> I didn’t know that file-exists-p used expand-file-name, but it does seem obvious.
>
> To avoid the problem maybe you should use `expand-file-name' before
> you check it with `file-exists-p'
>
> As otherwise you may check the wrong path.

Why ?

One of the first thing `file-exists-p' is doing is to call
`expand-file-name' to expand the file name.  I don't see how calling
`expand-file-name' before would help.

Bruno

Re: Why does (file-exists-p "") return t?

[Jean Louis]

* Bruno Barbier <brubar.cs@gmail.com> [2023-02-11 13:10]:
> > * Edgar Vincent <e-v@posteo.net> [2023-02-10 00:11]:
> >> I didn’t know that file-exists-p used expand-file-name, but it does seem obvious.
> >
> > To avoid the problem maybe you should use `expand-file-name' before
> > you check it with `file-exists-p'
> >
> > As otherwise you may check the wrong path.
> 
> Why ?
> 
> One of the first thing `file-exists-p' is doing is to call
> `expand-file-name' to expand the file name.  I don't see how calling
> `expand-file-name' before would help.

I understand you and I am sure in most use cases it is not necessary
as it will be expanded later. 

Sometimes I wish to expand it before for reason that
`default-directory' sometimes changes:

- practically, I sometimes wish to have "/home/user/public_html" as part of
  directory, and to check for file existence only if that is part of
  the path.

- When I use Tramp, my program my give me wrong answer by design, as I
  maybe did not want to check anything on remote system, but program
  is not aware of it by alone.

Of course, to avoid similar cases, I can keep `default-directory':

(let ((default-directory "something"))
 (before doing something else))

There is pertinent use case where I am receiving "" from database, and
instead of `expand-file-name' I want to consider it "no file name",
and checking would take place only when there is no empty string, as
otherwis I would get information how file exists for "" which is not
meant to be by design.

-- 
Jean

Take action in Free Software Foundation campaigns:
https://www.fsf.org/campaigns

In support of Richard M. Stallman
https://stallmansupport.org/

Re: Why does (file-exists-p "") return t?

[Bruno Barbier]

Jean Louis <bugs@gnu.support> writes:

> * Bruno Barbier <brubar.cs@gmail.com> [2023-02-11 13:10]:
>> > As otherwise you may check the wrong path.
>> 
>> Why ?
>> 
>> One of the first thing `file-exists-p' is doing is to call
>> `expand-file-name' to expand the file name.  I don't see how calling
>> `expand-file-name' before would help.
>
> I understand you and I am sure in most use cases it is not necessary
> as it will be expanded later. 

>
> Sometimes I wish to expand it before for reason that
> `default-directory' sometimes changes:

IIUC, you are saying that it may be better to expand immediately and to
use the expanded version, to not risk the file to be expanded later,
possibly in a wrong/unknown context.

Very good point, indeed.

Thanks for the explanation and the advice, Jean.

Bruno

Re: Why does (file-exists-p "") return t?

[Eli Zaretskii]

> Date: Fri, 10 Feb 2023 07:20:01 +0300
> From: Jean Louis <bugs@gnu.support>
> Cc: eliz@gnu.org, help-gnu-emacs@gnu.org
> 
> * Edgar Vincent <e-v@posteo.net> [2023-02-10 00:11]:
> > I didn’t know that file-exists-p used expand-file-name, but it does seem obvious.
> 
> To avoid the problem maybe you should use `expand-file-name' before
> you check it with `file-exists-p'

But there's no problem here.

All Emacs functions that accept file names use expand-file-name
internally before passing the file name to system APIs, because every
file name in Emacs can be relative to the current buffer's
default-directory.  IOW, Emacs pretends to change its current
directory to the buffer's default-directory when you switch buffers.