Jak mogę sprawdzić, czy plik jest potomkiem danego katalogu?

Question

Na pierwszy rzut oka jest to dość proste, a ja sam mógłbym je łatwo wdrożyć. Wystarczy kolejno wywołać dirname(), aby przejść na wyższy poziom na ścieżce pliku i sprawdzić, czy jest to katalog, który sprawdzamy.

Ale dowiązania symboliczne rzucają całość w chaos. Każdy katalog znajdujący się na ścieżce sprawdzanego pliku lub katalogu może być dowiązaniem symbolicznym, a każde dowiązanie symboliczne może mieć dowolny łańcuch dowiązań symbolicznych do innych dowiązań symbolicznych. W tym momencie mój mózg topi się i nie jestem pewien, co robić. Próbowałem napisać kod, aby poradzić sobie z tymi szczególnymi przypadkami, ale wkrótce staje się zbyt skomplikowany i zakładam, że robię to źle. Czy istnieje dość elegancki sposób na zrobienie tego?

Używam Pythona, więc każda wzmianka o bibliotece, która to robi, byłaby fajna. W przeciwnym razie jest to dość neutralny problem językowy.

Answer 1

Zastosowanie os.path.realpath i os.path.commonprefix:

os.path.commonprefix(['/the/dir/', os.path.realpath(filename)]) == "/the/dir/" 

os.path.realpath poszerzy żadnych dowiązania jak .. w nazwie pliku. os.path.commonprefix jest nieco zmienny - nie testuje właściwie ścieżek, tylko zwykłe przedrostki smyczkowe, więc powinieneś upewnić się, że katalog kończy się separatorem katalogu. Jeśli nie, to zastrzeżenia /the/dirtwo/filename jest również w /the/dir

Answer 2

Python 3.5 posiada użyteczną funkcję os.path.commonpath:

Return najdłuższy wspólny sub-path każdej ścieżki w ścieżkach sekwencji. Podnieście wartość ValueError, jeśli ścieżki zawierają zarówno bezwzględne i względne nazwy ścieżek, jak i ścieżki są puste. W przeciwieństwie do commonprefix(), ta zwraca poprawną ścieżkę.

Tak, aby sprawdzić, czy plik jest potomkiem katalogu, można to zrobić:

os.path.commonpath(["/the/dir", os.path.realpath(filename)]) == "/the/dir" 

przeciwieństwie commonprefix, nie trzeba się martwić, jeśli dane wejściowe są końcowe ukośniki czy nie. Zwracana wartość commonprefix zawsze nie zawiera końcowego ukośnika.